From ffd2c107c2bdc8b98c041547346bd97b407fbd0a Mon Sep 17 00:00:00 2001
From: jneira <atreyu.bbb@gmail.com>
Date: Sun, 3 May 2020 22:18:15 +0200
Subject: [PATCH] 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 bd7fe1a5aad5..fda322af58f3 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
-- 
GitLab