diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/odinfmt/tests.bat | 6 | ||||
| -rw-r--r-- | tools/odinfmt/tests.sh | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/tools/odinfmt/tests.bat b/tools/odinfmt/tests.bat index 13172ef..e5ff64d 100644 --- a/tools/odinfmt/tests.bat +++ b/tools/odinfmt/tests.bat @@ -1,2 +1,4 @@ -odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe - +echo off +cd /D "%~dp0" +odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe +if %errorlevel% neq 0 exit 1
\ No newline at end of file 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 |