diff options
Diffstat (limited to 'ghc/ghc.mk')
| -rw-r--r-- | ghc/ghc.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ghc/ghc.mk b/ghc/ghc.mk index 4c3fbdfd88..9747e34dcc 100644 --- a/ghc/ghc.mk +++ b/ghc/ghc.mk @@ -129,6 +129,9 @@ all_ghc_stage1 : $(GHC_STAGE1) all_ghc_stage2 : $(GHC_STAGE2) all_ghc_stage3 : $(GHC_STAGE3) +settings : $(includes_SETTINGS) + "$(CP)" $< $@ + $(INPLACE_LIB)/settings : settings "$(CP)" $< $@ |