diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:16:46 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:16:46 +0200 |
| commit | a4497f07725bb2341cce2eb260bc901f26afa8fd (patch) | |
| tree | f834ac1516e7c99f7dd99d568e3df351f79523fe | |
| parent | 222d71c0a45efa070b7bdc9ef2339bd2ce613c0d (diff) | |
CI
| -rwxr-xr-x[-rw-r--r--] | tools/odinfmt/tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/odinfmt/tests.sh b/tools/odinfmt/tests.sh index ef8e95b..c2f3df1 100644..100755 --- a/tools/odinfmt/tests.sh +++ b/tools/odinfmt/tests.sh @@ -1,3 +1,5 @@ +#!/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 |