From ea6ae1ab3333e42778e1cf4663dd62e2666ecbdf Mon Sep 17 00:00:00 2001 From: DanielGavin Date: Sun, 9 May 2021 14:41:53 +0200 Subject: fixed build.sh again.. --- build.sh | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 3dbf83d..78d7a33 100755 --- a/build.sh +++ b/build.sh @@ -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 -- cgit v1.2.3