diff options
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 24 |
1 files changed, 13 insertions, 11 deletions
@@ -1,27 +1,29 @@ #!/usr/bin/env bash -if [[ $1 == "CI" ]] -then - ODIN="Odin/odin" -else - ODIN="odin" -fi - if [[ $1 == "CI" ]] then + export PATH=$PATH:$PWD/Odin #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 -opt:2 if ([ $? -ne 0 ]) then - echo "Test failed" + echo "Ols tests failed" exit 1 fi cd .. + + ./tools/odinfmt/tests.bat + + if ([ $? -ne 0 ]) + then + echo "Odinfmt tests failed" + exit 1 + fi fi if [[ $1 == "test" ]] @@ -29,7 +31,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 + odin test ../tests -collection:shared=../src if ([ $? -ne 0 ]) then @@ -40,4 +42,4 @@ then cd .. fi -${ODIN} build src/ -show-timings -collection:shared=src -out:ols -o:speed +odin build src/ -show-timings -collection:shared=src -out:ols -o:speed |