summaryrefslogtreecommitdiff
path: root/ghc.mk
diff options
context:
space:
mode:
Diffstat (limited to 'ghc.mk')
-rw-r--r--ghc.mk3
1 files changed, 3 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index b2be25221f..595356a93b 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1327,6 +1327,9 @@ clean_bindistprep:
$(call removeTrees,bindistprep/)
distclean : clean
+# Clean the files that ./validate creates.
+ $(call removeFiles,mk/are-validating.mk)
+
# Clean the files that we ask ./configure to create.
$(call removeFiles,mk/config.mk)
$(call removeFiles,mk/install.mk)