diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:22:24 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:22:24 +0200 |
| commit | 168b5b9e489226c15aede71d1edc7685af954125 (patch) | |
| tree | de1f60f659af13317019cb4aab1e5526579b527b | |
| parent | 43ad08345e30cc9c0994646c8037dde795b596d9 (diff) | |
CI
| -rw-r--r-- | tools/odinfmt/tests.bat | 2 | ||||
| -rwxr-xr-x | tools/odinfmt/tests.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/odinfmt/tests.bat b/tools/odinfmt/tests.bat index e5ff64d..1c97c17 100644 --- a/tools/odinfmt/tests.bat +++ b/tools/odinfmt/tests.bat @@ -1,4 +1,4 @@ echo off cd /D "%~dp0" -odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe +odin run tests.odin -file -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 index dfcb732..d30d325 100755 --- a/tools/odinfmt/tests.sh +++ b/tools/odinfmt/tests.sh @@ -2,7 +2,7 @@ cd "${0%/*}" -odin run tests.odin -file -show-timings -collection:shared=../../src -out:tests.exe +odin run tests.odin -file -collection:shared=../../src -out:tests.exe if ([ $? -ne 0 ]) then |