From e0eda0707d6cc3d5a85cfb13543df61623e82070 Mon Sep 17 00:00:00 2001 From: jneira Date: Sun, 3 May 2020 22:18:15 +0200 Subject: Remove not needed hie-bios output --- hadrian/hie-bios.bat | 2 -- 1 file changed, 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 -- cgit v1.2.1