diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rwxr-xr-x | tools/distclean | 12 |
2 files changed, 13 insertions, 0 deletions
| @@ -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 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 |
