summaryrefslogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh5
1 files changed, 1 insertions, 4 deletions
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