diff options
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |
