diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:21:55 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:21:55 +0200 |
| commit | 43ad08345e30cc9c0994646c8037dde795b596d9 (patch) | |
| tree | 2f8233ef66b339418146399cf53d17a38cd7e4e3 | |
| parent | d503e3a720c1bb184679fd66fb1bf07061e2896c (diff) | |
CI
| -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 |