diff options
| -rwxr-xr-x | hadrian/ghci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hadrian/ghci.sh b/hadrian/ghci.sh index 4a70946269..4c9b9c6710 100755 --- a/hadrian/ghci.sh +++ b/hadrian/ghci.sh @@ -1,3 +1,6 @@ #!/usr/bin/env bash -ghci $(TERM=dumb CABFLAGS=-v0 . "hadrian/build.cabal.sh" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@") -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +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 |