diff options
author | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2010-04-28 05:28:22 -0400 |
---|---|---|
committer | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2010-04-28 05:28:22 -0400 |
commit | b48c2bdd59783197c93cde531e6e8b9747c0a88f (patch) | |
tree | 27d3ccfb0dabcbe2a9bf94f51211a17a07d1167f /tools/distclean | |
parent | 3a2f2975e665b2729deae07c4ebb9c27a2fce9d5 (diff) | |
download | monitoring-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.
Diffstat (limited to 'tools/distclean')
-rwxr-xr-x | tools/distclean | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/distclean b/tools/distclean index f5e0ecef..f4ec20bd 100755 --- a/tools/distclean +++ b/tools/distclean | |||
@@ -10,6 +10,18 @@ if [ ! -f tools/distclean ]; then | |||
10 | exit 1 | 10 | exit 1 |
11 | fi | 11 | fi |
12 | 12 | ||
13 | # First try git-clean, removing all ignored files will be perfect... | ||
14 | if [ -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!" | ||
22 | fi | ||
23 | |||
24 | # If we get here, then git-clean did not run or failed. Using the legacy method... | ||
13 | if [ -f Makefile ]; then | 25 | if [ -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 |