diff options
| -rwxr-xr-x | build.sh | 26 |
1 files changed, 11 insertions, 15 deletions
@@ -1,23 +1,19 @@ #!/usr/bin/env bash if [[ $1 == "CI" ]] -then - ODIN="Odin/odin" -else - ODIN="odin" -fi +then + #BUG in odin test, it makes the executable with the same name as a folder and gets confused. + cd tests -#BUG in odin test, it makes the executable with the same name as a folder and gets confused. -cd tests + ../Odin/odin test ../tests -collection:shared=../src -${ODIN} test ../tests -collection:shared=../src + if ([ $? -ne 0 ]) + then + echo "Test failed" + exit 1 + fi -if ([ $? -ne 0 ] && [[ $1 == "CI" ]]) -then - echo "Test failed" - exit 1 + cd .. fi -cd .. - -${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 +odin build src/ -show-timings -collection:shared=src -out:ols -opt:2 |