diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-02-17 10:20:25 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-06-01 10:32:02 +0100 |
commit | 7e470cd6e07d840b032b5249dceb061a4d590fee (patch) | |
tree | 6bcf23933733e0842f9f0eed6d2cfd7f326804c7 /hadrian/hie-bios.bat | |
parent | 15d42a7a1287b0466ea97bedf71f4a0b161b17b4 (diff) | |
download | haskell-wip/tool-args.tar.gz |
hadrian/tool-args: Write output to intermediate file rather than via stdoutwip/tool-args
This allows us to see the output of hadrian while it is doing the setup.
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 |