disable all docs in the "quick" and "devel" builds

[ghc-hetmet.git] / mk / bootstrap.mk

diff --git a/mk/bootstrap.mk b/mk/bootstrap.mk
index 4626795..865f3d3 100644 (file)
--- a/mk/bootstrap.mk
+++ b/mk/bootstrap.mk
@@ -39,10 +39,6 @@ PLATFORM_CC_OPTS += -static
 PLATFORM_HC_BOOT_CC_OPTS += -finhibit-size-directive
 endif
 
-ifeq "$(mingw32_TARGET_OS)" "1"
-PLATFORM_CC_OPTS += -mno-cygwin
-endif
-
 ifeq "$(alpha_TARGET_ARCH)" "1"
 PLATFORM_CC_OPTS += -static -w
 PLATFORM_HC_BOOT_CC_OPTS += -mieee
@@ -132,7 +128,7 @@ HC_BOOT_LD_OPTS += \
    -u "$(UNDERSCORE)base_GHCziPack_unpackCString_closure" \
    -u "$(UNDERSCORE)base_GHCziIOBase_stackOverflow_closure" \
    -u "$(UNDERSCORE)base_GHCziIOBase_heapOverflow_closure" \
-   -u "$(UNDERSCORE)base_GHCziIOBase_NonTermination_closure" \
+   -u "$(UNDERSCORE)base_GHCziIOBase_nonTermination_closure" \
    -u "$(UNDERSCORE)base_GHCziIOBase_BlockedOnDeadMVar_closure" \
    -u "$(UNDERSCORE)base_GHCziIOBase_Deadlock_closure" \
    -u "$(UNDERSCORE)base_GHCziWeak_runFinalizzerBatch_closure" \