diff options
author | jneira <atreyu.bbb@gmail.com> | 2020-05-03 22:18:15 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-24 01:54:42 -0400 |
commit | e0eda0707d6cc3d5a85cfb13543df61623e82070 (patch) | |
tree | 2a809fad517f30514d0b53898b1d8508a64138c5 /hadrian | |
parent | 932dc54e13a8e2f60ea90af98682cc1011b9533e (diff) | |
download | haskell-e0eda0707d6cc3d5a85cfb13543df61623e82070.tar.gz |
Remove not needed hie-bios output
Diffstat (limited to 'hadrian')
-rw-r--r-- | hadrian/hie-bios.bat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/hadrian/hie-bios.bat b/hadrian/hie-bios.bat index bd7fe1a5aa..fda322af58 100644 --- a/hadrian/hie-bios.bat +++ b/hadrian/hie-bios.bat @@ -1,5 +1,3 @@ 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% -echo -ighc >> %HIE_BIOS_OUTPUT% -echo "ghc/Main.hs" >> %HIE_BIOS_OUTPUT%
\ No newline at end of file |