diff options
Diffstat (limited to 'tools/odinfmt/tests.bat')
| -rw-r--r-- | tools/odinfmt/tests.bat | 2 |
1 files changed, 1 insertions, 1 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 |