diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-02-17 10:20:25 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-06-01 22:26:30 -0400 |
commit | 5433a35e28e2487827b88f2396865c29ecee0833 (patch) | |
tree | 2c99555cd901ad50ab5f95e485e725f33d90201b /hadrian/hie-bios.bat | |
parent | 24b5bb61c33b2675bdfb09504aeec88e70ac3abf (diff) | |
download | haskell-5433a35e28e2487827b88f2396865c29ecee0833.tar.gz |
hadrian/tool-args: Write output to intermediate file rather than via stdout
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 |