diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/include/ghc.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rts/include/ghc.mk b/rts/include/ghc.mk index f5a198bcdd..b8b74f4a89 100644 --- a/rts/include/ghc.mk +++ b/rts/include/ghc.mk @@ -216,7 +216,6 @@ $(includes_SETTINGS) : rts/include/Makefile | $$(dir $$@)/. @echo ',("touch command", "$(SettingsTouchCommand)")' >> $@ @echo ',("dllwrap command", "$(SettingsDllWrapCommand)")' >> $@ @echo ',("windres command", "$(SettingsWindresCommand)")' >> $@ - @echo ',("libtool command", "$(SettingsLibtoolCommand)")' >> $@ @echo ',("unlit command", "$$topdir/bin/$(utils/unlit_dist_PROG)")' >> $@ @echo ',("cross compiling", "$(CrossCompiling)")' >> $@ @echo ',("target platform string", "$(TARGETPLATFORM)")' >> $@ |