diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/README | 1 | ||||
-rwxr-xr-x | tools/distclean | 35 |
2 files changed, 36 insertions, 0 deletions
diff --git a/tools/README b/tools/README index 2279afcf..21d58461 100644 --- a/tools/README +++ b/tools/README | |||
@@ -6,3 +6,4 @@ or test the plugins. | |||
6 | 2. tango - | 6 | 2. tango - |
7 | 3. mini_epn/p1.pl - used to test perl plugins for functionality under embedded | 7 | 3. mini_epn/p1.pl - used to test perl plugins for functionality under embedded |
8 | perl | 8 | perl |
9 | 4. distclean - used to clean the sources leaving only original CVS files | ||
diff --git a/tools/distclean b/tools/distclean new file mode 100755 index 00000000..5b3388cd --- /dev/null +++ b/tools/distclean | |||
@@ -0,0 +1,35 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | # This script cleans up all auto*-generated files. If Makefiles are present | ||
4 | # it will run 'make distclean' first. | ||
5 | # | ||
6 | # Please run this script from the top-level directory. | ||
7 | |||
8 | if [ ! -f tools/distclean ]; then | ||
9 | echo "Please run this script from the top-level directory of Nagios-plugins." | ||
10 | exit 1 | ||
11 | fi | ||
12 | |||
13 | if [ -f Makefile ]; then | ||
14 | echo "$0: Makefile present. Cleaning up with 'make distclean'..." | ||
15 | make distclean | ||
16 | if [ $? -ne 0 ]; then | ||
17 | echo "Uh-oh! Make distclean failed." | ||
18 | echo "Please run './config.status' and try again." | ||
19 | exit 1 | ||
20 | fi | ||
21 | fi | ||
22 | |||
23 | echo "$0: Removing auto* files..." | ||
24 | rm -rf autom4te.cache | ||
25 | find . -type f -name Makefile.in -print0| xargs -0 rm -f | ||
26 | rm -f aclocal.m4 compile config.guess config.h.in config.sub configure depcomp | ||
27 | rm -f m4/Makefile.am | ||
28 | |||
29 | echo "$0: Removing miscelanious files..." | ||
30 | rm -f po/*.gmo po/stamp-po | ||
31 | rm -f doc/developer-guidelines.html | ||
32 | rm -f INSTALL install-sh missing | ||
33 | rm -f plugins/t/check_nagios.nagios?.status.???.tmp | ||
34 | |||
35 | echo "$0: Cleanup complete! Have a nice day..." | ||