diff options
Diffstat (limited to 'tools/odinfmt/tests.sh')
| -rwxr-xr-x | tools/odinfmt/tests.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/odinfmt/tests.sh b/tools/odinfmt/tests.sh index c2f3df1..dfcb732 100755 --- a/tools/odinfmt/tests.sh +++ b/tools/odinfmt/tests.sh @@ -1,5 +1,10 @@ #!/usr/bin/env bash cd "${0%/*}" + odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe -if ([ $? -ne 0 ]) then exit 1 fi
\ No newline at end of file + +if ([ $? -ne 0 ]) +then + exit 1 +fi |