upstream/monitoring-plugins
1
0
Fork 0
mirror of https://github.com/monitoring-plugins/monitoring-plugins.git synced 2026-06-09 08:42:17 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

tools/distclean: use git-clean when possible

Browse source 
git-clean is much faster and more reliable...

Also add confdefs.h in gitignore, although this file is normally removed
at the end of the configure script.
This commit is contained in:
Thomas Guyot-Sionnest 2010-04-28 05:28:22 -04:00
parent 3a2f2975e6
commit b48c2bdd59
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -8,6 +8,7 @@ NP-VERSION-FILE
/Cache.pm
/command.cfg
/compile
/confdefs.h
/config.*
/configure
/debian

12
tools/distclean
View file

@ -10,6 +10,18 @@ if [ ! -f tools/distclean ]; then
exit 1
fi
# First try git-clean, removing all ignored files will be perfect...
if [ -d ".git" ]; then
echo "$0: Running 'git clean -fdX', this will remove all files ignored by git..."
git clean -fdX
if [ "$?" -eq "0" ]; then
echo "$0: Cleanup complete! Have a nice day..."
exit 0
fi
echo "$0: git-clean error, failing back to legacy cleanup!"
fi
# If we get here, then git-clean did not run or failed. Using the legacy method...
if [ -f Makefile ]; then
echo "$0: Makefile present. Cleaning up with 'make distclean'..."
make -i distclean