summaryrefslogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
authorJan Tuomi <jans.tuomi@gmail.com>2022-01-29 23:11:03 +0200
committerJan Tuomi <jans.tuomi@gmail.com>2022-01-29 23:11:03 +0200
commit649319b1dafb130801638c5a156e37d9e865ba5c (patch)
tree7bc633565d87c3bbebc7c67f6bbda10db6c13f21 /run.sh
parent4d1a0eea5a433724764b4178d16fcb50d1c2b6bc (diff)
Implement strings as phrases of chars
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/run.sh b/run.sh
index 93f0954..f32b9be 100755
--- a/run.sh
+++ b/run.sh
@@ -3,3 +3,4 @@
set -uxo pipefail
ghc -o interpreter src/*.hs
./interpreter $@
+rm src/*.{hi,o}