summaryrefslogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
authorJan Tuomi <jans.tuomi@gmail.com>2022-01-27 21:49:56 +0200
committerJan Tuomi <jans.tuomi@gmail.com>2022-01-27 21:49:56 +0200
commit7dbb6e631346cbb790300d823dff6efdf84288d7 (patch)
treeb1607a7be9339e362b59a9db13f39f13b2b45849 /run.sh
Initial commit
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..93f0954
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+set -uxo pipefail
+ghc -o interpreter src/*.hs
+./interpreter $@