Clean libraries/bootstrapping.conf

diff --git a/ghc.mk b/ghc.mk
index bd2bf7c..1344593 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -890,6 +890,7 @@ CLEAN_FILES += utils/ghc-pwd/ghc-pwd
 CLEAN_FILES += utils/ghc-pwd/ghc-pwd.exe
 CLEAN_FILES += utils/ghc-pwd/ghc-pwd.hi
 CLEAN_FILES += utils/ghc-pwd/ghc-pwd.o
+CLEAN_FILES += libraries/bootstrapping.conf
 
 clean : clean_files
 .PHONY: clean_files