X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=4eb83e76faeb6af9e2c84728db111eba673530a3;hb=11f81de1fa9ac05b9dd20b851076621d6f664c73;hp=1ec0796212f06d487256381a01fc590159b1b603;hpb=cab3c5cb1a0038412472172cb0b25bc81dfdde8f;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 1ec0796..4eb83e7 100644
--- a/Makefile
+++ b/Makefile
@@ -48,6 +48,9 @@ project-check :
 
 DIST_CLEAN_FILES += config.cache config.status
 
+extraclean::
+	$(RM) -rf autom4te.cache
+
 #
 # If you've ended up using an in-place version of Happy,
 # make sure it gets built early on.
@@ -191,7 +194,7 @@ BIN_DIST_TMPDIR=$(FPTOOLS_TOP_ABS)
 
 binary-dist-pre::
 ifeq "$(BIN_DIST)" ""
-	echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
+	@echo "WARNING: To run the binary-dist target, you need to set BIN_DIST=1 in your build.mk" && exit 1
 endif
 	-rm -rf $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)
 	-$(RM) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME).tar.gz