From b235c2887ed60a8fd48263f6c53e90ee7e2073fd Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Mon, 31 Jan 2022 22:49:36 +0200
Subject: Some general refactoring

---
 run.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'run.sh')

diff --git a/run.sh b/run.sh
index 588afe3..460a851 100755
--- a/run.sh
+++ b/run.sh
@@ -1,8 +1,5 @@
 #!/bin/bash
 
 set -uo pipefail
-ghc -o interpreter src/*.hs
+ghc -v0 -o interpreter src/*.hs
 ./interpreter $@
-ret=$?
-rm src/*.{hi,o}
-exit $ret
-- 
cgit v1.3