From bd7a70eef1391cc5c95553b871697c677fa0d440 Mon Sep 17 00:00:00 2001
From: Thomas Guyot-Sionnest <dermoth@aei.ca>
Date: Mon, 24 Nov 2008 02:08:39 -0500
Subject: tools/distclean: No need to bailout on distclean failures


diff --git a/tools/distclean b/tools/distclean
index 6035a6d..f5e0ece 100755
--- a/tools/distclean
+++ b/tools/distclean
@@ -12,10 +12,9 @@ fi
 
 if [ -f Makefile ]; then
   echo "$0: Makefile present. Cleaning up with 'make distclean'..."
-  make distclean
+  make -i distclean
   if [ $? -ne 0 ]; then
     echo "Uh-oh! Make distclean failed."
-    echo "Please run './config.status' and try again."
     exit 1
   fi
 fi
-- 
cgit v0.10-9-g596f