diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-05-09 14:41:53 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2021-05-09 14:41:53 +0200 |
| commit | ea6ae1ab3333e42778e1cf4663dd62e2666ecbdf (patch) | |
| tree | cdbd8895b5374c545904a22f1df93e9462ce32a1 /build.sh | |
| parent | cbb60c8bcaf2e32c56404cf148f94f5dccb0a5f2 (diff) | |
fixed build.sh again..
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -1,11 +1,19 @@ #!/usr/bin/env bash if [[ $1 == "CI" ]] +then + ODIN="Odin/odin" +else + ODIN="odin" +fi + + +if [[ $1 == "CI" ]] then #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 @@ -16,4 +24,4 @@ then cd .. fi -odin build src/ -show-timings -collection:shared=src -out:ols -opt:2 +${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 |