diff options
Diffstat (limited to 'hadrian/bindist/Makefile')
| -rw-r--r-- | hadrian/bindist/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile index 41cf5d0c29..80af54e597 100644 --- a/hadrian/bindist/Makefile +++ b/hadrian/bindist/Makefile @@ -141,7 +141,6 @@ lib/settings : @echo ',("LLVM opt command", "$(SettingsOptCommand)")' >> $@ @echo ',("LLVM clang command", "$(SettingsClangCommand)")' >> $@ @echo - @echo ',("bignum backend", "$(BIGNUM_BACKEND)")' >> $@ @echo ',("Use interpreter", "$(GhcWithInterpreter)")' >> $@ @echo ',("Support SMP", "$(GhcWithSMP)")' >> $@ @echo ',("RTS ways", "$(GhcRTSWays)")' >> $@ |