diff options
Diffstat (limited to 'rules/package-config.mk')
| -rw-r--r-- | rules/package-config.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/package-config.mk b/rules/package-config.mk index c30f11724e..b68f2e1de5 100644 --- a/rules/package-config.mk +++ b/rules/package-config.mk @@ -32,6 +32,7 @@ $1_$2_HC_DEP = $1_$2_HC_PKGCONF = -package-conf $$(BOOTSTRAPPING_CONF) $1_$2_GHC_PKG_OPTS = --package-conf=$$(BOOTSTRAPPING_CONF) $1_$2_CONFIGURE_OPTS += --package-db=$$(TOP)/$$(BOOTSTRAPPING_CONF) +$1_$2_HC_OPTS += -no-user-package-conf ifeq "$(ghc_ge_613)" "YES" $1_$2_HC_OPTS += -rtsopts endif |