diff options
Diffstat (limited to 'mk/flavours/bench-cross.mk')
-rw-r--r-- | mk/flavours/bench-cross.mk | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/mk/flavours/bench-cross.mk b/mk/flavours/bench-cross.mk deleted file mode 100644 index 98f0531bc7..0000000000 --- a/mk/flavours/bench-cross.mk +++ /dev/null @@ -1,15 +0,0 @@ -SRC_HC_OPTS = -O -H64m -GhcStage1HcOpts = -O -GhcStage2HcOpts = -O0 -fllvm -GhcLibHcOpts = -O2 -fllvm -BUILD_PROF_LIBS = NO -SplitSections = NO -HADDOCK_DOCS = NO -BUILD_SPHINX_HTML = NO -BUILD_SPHINX_PDF = NO -BUILD_MAN = NO -WITH_TERMINFO = NO - -BIGNUM_BACKEND = native -Stage1Only = YES -DYNAMIC_GHC_PROGRAMS = NO |