diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 3 | ||||
| -rw-r--r-- | mk/validate-settings.mk | 2 |
2 files changed, 0 insertions, 5 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index ab177af67e..00c66ca889 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -302,9 +302,6 @@ SplitObjs=$(SupportsSplitObjs) # Whether to install the extra packages InstallExtraPackages = NO -# Run "ghc-pkg check" on each package -CHECK_PACKAGES = NO - # ---------------------------------------------------------------------------- # There are a number of things which technically depend on GHC (e.g. if diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk index cfc72343b0..ef3a58e9a6 100644 --- a/mk/validate-settings.mk +++ b/mk/validate-settings.mk @@ -31,8 +31,6 @@ SplitObjs = NO NoFibWays = STRIP_CMD = : -CHECK_PACKAGES = YES - # We want to install DPH when validating, so that we can test it InstallExtraPackages = YES |