summaryrefslogtreecommitdiffstats
path: root/tools/distclean
diff options
context:
space:
mode:
authorThomas Guyot-Sionnest <dermoth@aei.ca>2008-11-24 02:08:39 -0500
committerThomas Guyot-Sionnest <dermoth@aei.ca>2008-11-24 02:08:39 -0500
commitbd7a70eef1391cc5c95553b871697c677fa0d440 (patch)
tree1b51865b0e83d660e93415688213f2128cd17855 /tools/distclean
parentb505870842512099ff1bf031ae0d70349e2be764 (diff)
downloadmonitoring-plugins-bd7a70eef1391cc5c95553b871697c677fa0d440.tar.gz
tools/distclean: No need to bailout on distclean failures
Diffstat (limited to 'tools/distclean')
-rwxr-xr-xtools/distclean3
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/distclean b/tools/distclean
index 6035a6d6..f5e0ecef 100755
--- a/tools/distclean
+++ b/tools/distclean
@@ -12,10 +12,9 @@ fi
12 12
13if [ -f Makefile ]; then 13if [ -f Makefile ]; then
14 echo "$0: Makefile present. Cleaning up with 'make distclean'..." 14 echo "$0: Makefile present. Cleaning up with 'make distclean'..."
15 make distclean 15 make -i distclean
16 if [ $? -ne 0 ]; then 16 if [ $? -ne 0 ]; then
17 echo "Uh-oh! Make distclean failed." 17 echo "Uh-oh! Make distclean failed."
18 echo "Please run './config.status' and try again."
19 exit 1 18 exit 1
20 fi 19 fi
21fi 20fi