diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-27 21:49:56 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-27 21:49:56 +0200 |
| commit | 7dbb6e631346cbb790300d823dff6efdf84288d7 (patch) | |
| tree | b1607a7be9339e362b59a9db13f39f13b2b45849 /run.sh | |
Initial commit
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -0,0 +1,5 @@ +#!/bin/bash + +set -uxo pipefail +ghc -o interpreter src/*.hs +./interpreter $@ |
