diff options
Diffstat (limited to 'hadrian/hie-bios')
| -rwxr-xr-x | hadrian/hie-bios | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hadrian/hie-bios b/hadrian/hie-bios index db06589c2b..b6e5a471eb 100755 --- a/hadrian/hie-bios +++ b/hadrian/hie-bios @@ -3,7 +3,7 @@ # 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.sh tool-args -q --build-root=.hie-bios --flavour=ghc-in-ghci > $HIE_BIOS_OUTPUT +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 |