summaryrefslogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/run.sh b/run.sh
index f32b9be..588afe3 100755
--- a/run.sh
+++ b/run.sh
@@ -1,6 +1,8 @@
#!/bin/bash
-set -uxo pipefail
+set -uo pipefail
ghc -o interpreter src/*.hs
./interpreter $@
+ret=$?
rm src/*.{hi,o}
+exit $ret