diff options
Diffstat (limited to 'tools/odinfmt/tests.sh')
| -rw-r--r-- | tools/odinfmt/tests.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/odinfmt/tests.sh b/tools/odinfmt/tests.sh new file mode 100644 index 0000000..ef8e95b --- /dev/null +++ b/tools/odinfmt/tests.sh @@ -0,0 +1,3 @@ +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 |