diff options
Diffstat (limited to 'hadrian/ghci.cabal.sh')
| -rwxr-xr-x | hadrian/ghci.cabal.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/hadrian/ghci.cabal.sh b/hadrian/ghci.cabal.sh deleted file mode 100755 index f31b94574f..0000000000 --- a/hadrian/ghci.cabal.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env sh - -set -e - -GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build.cabal.sh" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@")" -ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m |