diff options
Diffstat (limited to 'hadrian/hie-bios.bat')
| -rw-r--r-- | hadrian/hie-bios.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hadrian/hie-bios.bat b/hadrian/hie-bios.bat index fda322af58..73bbea82be 100644 --- a/hadrian/hie-bios.bat +++ b/hadrian/hie-bios.bat @@ -1,3 +1,4 @@ set TERM=dumb set CABFLAGS=-v0 -%CD%\hadrian\build-cabal.bat tool:%1 -q --build-root=_hie-bios --flavour=ghc-in-ghci > %HIE_BIOS_OUTPUT% +set TOOL_OUTPUT=%HIE_BIOS_OUTPUT% +%CD%\hadrian\build-cabal.bat tool:%1 --build-root=_hie-bios --flavour=ghc-in-ghci |