summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Guyot-Sionnest <dermoth@aei.ca>2010-04-28 09:28:22 (GMT)
committerThomas Guyot-Sionnest <dermoth@aei.ca>2010-04-28 09:28:22 (GMT)
commitb48c2bdd59783197c93cde531e6e8b9747c0a88f (patch)
tree27d3ccfb0dabcbe2a9bf94f51211a17a07d1167f
parent3a2f2975e665b2729deae07c4ebb9c27a2fce9d5 (diff)
downloadmonitoring-plugins-b48c2bdd59783197c93cde531e6e8b9747c0a88f.tar.gz
tools/distclean: use git-clean when possible
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.
-rw-r--r--.gitignore1
-rwxr-xr-xtools/distclean12
2 files changed, 13 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index da85629..7def6f8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@ NP-VERSION-FILE
8/Cache.pm 8/Cache.pm
9/command.cfg 9/command.cfg
10/compile 10/compile
11/confdefs.h
11/config.* 12/config.*
12/configure 13/configure
13/debian 14/debian
diff --git a/tools/distclean b/tools/distclean
index f5e0ece..f4ec20b 100755
--- a/tools/distclean
+++ b/tools/distclean
@@ -10,6 +10,18 @@ if [ ! -f tools/distclean ]; then
10 exit 1 10 exit 1
11fi 11fi
12 12
13# First try git-clean, removing all ignored files will be perfect...
14if [ -d ".git" ]; then
15 echo "$0: Running 'git clean -fdX', this will remove all files ignored by git..."
16 git clean -fdX
17 if [ "$?" -eq "0" ]; then
18 echo "$0: Cleanup complete! Have a nice day..."
19 exit 0
20 fi
21 echo "$0: git-clean error, failing back to legacy cleanup!"
22fi
23
24# If we get here, then git-clean did not run or failed. Using the legacy method...
13if [ -f Makefile ]; then 25if [ -f Makefile ]; then
14 echo "$0: Makefile present. Cleaning up with 'make distclean'..." 26 echo "$0: Makefile present. Cleaning up with 'make distclean'..."
15 make -i distclean 27 make -i distclean