X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=Makefile;h=7adec86ad1fdb9231a5e4825f2e061db47035841;hb=b9d13108742ba43244490e0a90b6c80127561139;hp=d2cd6b885359c661019c960f1a20cb51f810b155;hpb=06781a444251b6aabfd9079f85ebcfa794f9db23;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index d2cd6b8..7adec86 100644
--- a/Makefile
+++ b/Makefile
@@ -595,7 +595,7 @@ DIST_CLEAN_FILES += config.cache config.status mk/config.h mk/stamp-h \
 	docs/users_guide/ug-book.xml extra-gcc-opts
 
 # don't clean config.mk: it's needed when cleaning stuff later on
-LATE_DIST_CLEAN_FILES += mk/config.mk 
+LATE_DIST_CLEAN_FILES += mk/config.mk mk/are-validating.mk
 
 # VERSION is shipped in a source dist
 MAINTAINER_CLEAN_FILES += VERSION