X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc.mk;h=1344593a4c5f3c179ffa319b19c9d06d2224b301;hb=0d68ec27ca6abd81d78d16c6f35925d047b80e98;hp=2bea8290e8de29308275a78d206e2c3ef0a9fbd8;hpb=56aad1af62167a41117419a94f6b9ce1f2e60576;p=ghc-hetmet.git

diff --git a/ghc.mk b/ghc.mk
index 2bea829..1344593 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -51,7 +51,6 @@
 #
 # Tickets we can now close, or fix and close:
 #
-#   * 2966 make sure --with-gcc does the right thing (#2966)
 #   * 1693 make distclean
 #   * 3173 make install with DESTDIR
 
@@ -469,11 +468,15 @@ BUILD_DIRS += \
    gmp \
    docs/users_guide \
    libraries/Cabal/doc \
-   $(GHC_MANGLER_DIR) \
-   $(GHC_SPLIT_DIR) \
    $(GHC_UNLIT_DIR) \
    $(GHC_HP2PS_DIR)
 
+ifneq "$(GhcUnregisterised)" "YES"
+BUILD_DIRS += \
+   $(GHC_MANGLER_DIR) \
+   $(GHC_SPLIT_DIR)
+endif
+
 ifneq "$(BINDIST)" "YES"
 BUILD_DIRS += \
    $(GHC_GENPRIMOP_DIR)
@@ -887,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