projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Comment fix
[ghc-hetmet.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index
d2cd6b8
..
7adec86
100644
(file)
--- 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
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
# VERSION is shipped in a source dist
MAINTAINER_CLEAN_FILES += VERSION