1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 33fed788a..6407d43cf 100644
--- a/Makefile
+++ b/Makefile
@@ -13,4 +13,10 @@ _default_build_: all
 	fi
 
 distclean:
+	@if test -e builds; then \
+		echo cd builds; \
+		cd builds; \
+		echo $(MAKE) $@; \
+		$(MAKE) $@; \
+	fi
 	rm -rf builds