diff --git a/tools/distclean b/tools/distclean
index 0132d2d8a3107dea090878ccafc77ab7b08bb898..f5e0ecef373c439c83928e22ab1fcb86c0b17bd7 100755 (executable)
--- a/tools/distclean
+++ b/tools/distclean
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
echo "$0: Removing miscelanious files..."
rm -f po/*.gmo po/stamp-po
+rm -f lib/tests/*.Po
rm -f doc/developer-guidelines.html
rm -f INSTALL install-sh missing
rm -f plugins/t/check_nagios.nagios?.status.???.tmp