diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-31 22:49:36 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-01-31 22:49:36 +0200 |
| commit | b235c2887ed60a8fd48263f6c53e90ee7e2073fd (patch) | |
| tree | 2a47ec5bc38ef95b65b130d277e6ba41dc9f2213 /run.sh | |
| parent | 7390af67e18e6d17934541dd3c2d6d46cfad84d0 (diff) | |
Some general refactoring
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 |
