X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=7f47f3b9e9925d323ad30d90011c4e64a4c015d4;hb=ba45de992cd708a82ed04d19cdd68768517fd93f;hp=1ec0796212f06d487256381a01fc590159b1b603;hpb=cab3c5cb1a0038412472172cb0b25bc81dfdde8f;p=ghc-hetmet.git diff --git a/Makefile b/Makefile index 1ec0796..7f47f3b 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.