diff options
Diffstat (limited to 'hadrian/hie-bios')
-rwxr-xr-x | hadrian/hie-bios | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/hadrian/hie-bios b/hadrian/hie-bios index b6e5a471eb..4def2e8823 100755 --- a/hadrian/hie-bios +++ b/hadrian/hie-bios @@ -3,7 +3,5 @@ # When run, this program will output a list of arguments which are necessary to # load the GHC library component into GHCi. The program is used by `ghcide` in # order to automatically set up the correct GHC API session for a project. -TERM=dumb CABFLAGS=-v0 $PWD/hadrian/build-cabal tool-args -q --build-root=.hie-bios --flavour=ghc-in-ghci > $HIE_BIOS_OUTPUT -echo -ighc >> $HIE_BIOS_OUTPUT -echo "ghc/Main.hs" >> $HIE_BIOS_OUTPUT +TERM=dumb CABFLAGS=-v0 $PWD/hadrian/build-cabal tool:$1 -q --build-root=.hie-bios --flavour=ghc-in-ghci > $HIE_BIOS_OUTPUT |