diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-30 12:23:05 +0100 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-30 12:23:05 +0100 |
| commit | 61bc1ec0e6a7be1435df97aa4fe1d502bbe59ef5 (patch) | |
| tree | 9221bacc1e5dcb2ca8a0e0a1b8c0aef01d4ef432 /build.sh | |
| parent | f1d6d3dc586ce110d8425e2b80cd0018533b1aaf (diff) | |
Fix linux build
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ then #BUG in odin test, it makes the executable with the same name as a folder and gets confused. cd tests - odin test ../tests -collection:shared=../src -opt:2 + odin test ../tests -collection:shared=../src -o:speed if ([ $? -ne 0 ]) then |