diff options
Diffstat (limited to 'run.sh')
| -rwxr-xr-x | run.sh | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -1,8 +1,5 @@ #!/bin/bash set -uo pipefail -ghc -o interpreter src/*.hs +ghc -v0 -o interpreter src/*.hs ./interpreter $@ -ret=$? -rm src/*.{hi,o} -exit $ret |
