aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild.sh12
1 files 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