From 7dbb6e631346cbb790300d823dff6efdf84288d7 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Thu, 27 Jan 2022 21:49:56 +0200
Subject: Initial commit

---
 run.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 run.sh

(limited to 'run.sh')

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 $@
-- 
cgit v1.3