diff options
Diffstat (limited to 'hadrian/ghci.sh')
| -rwxr-xr-x | hadrian/ghci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hadrian/ghci.sh b/hadrian/ghci.sh index 90727b2d22..e296efa792 100755 --- a/hadrian/ghci.sh +++ b/hadrian/ghci.sh @@ -3,4 +3,4 @@ set -e 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 +ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m |