diff options
Diffstat (limited to 'hadrian/ghci-stack')
| -rwxr-xr-x | hadrian/ghci-stack | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hadrian/ghci-stack b/hadrian/ghci-stack index 53fdeddad5..9815879a77 100755 --- a/hadrian/ghci-stack +++ b/hadrian/ghci-stack @@ -4,4 +4,4 @@ set -e # Replace newlines with spaces, as these otherwise break the ghci invocation on windows. GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build-stack" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci $HADRIAN_ARGS | tr '\n\r' ' ')" -stack exec -- ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m +stack exec -- ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 +RTS -A128m |