summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ghc.mk5
1 files changed, 2 insertions, 3 deletions
diff --git a/ghc.mk b/ghc.mk
index 55cc1197c5..4a2f703276 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -1366,6 +1366,8 @@ clean_files :
$(call removeTrees,inplace/bin)
$(call removeTrees,inplace/lib)
$(call removeTrees,libraries/bootstrapping.conf)
+# Clean the files that ./validate creates.
+ $(call removeFiles,mk/are-validating.mk)
.PHONY: clean_libraries
clean_libraries: $(patsubst %,clean_libraries/%_dist-install,$(PACKAGES_STAGE1) $(PACKAGES_STAGE2))
@@ -1398,9 +1400,6 @@ 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)