summaryrefslogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
authorJan Tuomi <jans.tuomi@gmail.com>2022-01-31 22:49:36 +0200
committerJan Tuomi <jans.tuomi@gmail.com>2022-01-31 22:49:36 +0200
commitb235c2887ed60a8fd48263f6c53e90ee7e2073fd (patch)
tree2a47ec5bc38ef95b65b130d277e6ba41dc9f2213 /run.sh
parent7390af67e18e6d17934541dd3c2d6d46cfad84d0 (diff)
Some general refactoring
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