aboutsummaryrefslogtreecommitdiff
path: root/build.sh
diff options
context:
space:
mode:
authorDanielGavin <danielgavin5@hotmail.com>2021-05-10 23:13:47 +0200
committerDanielGavin <danielgavin5@hotmail.com>2021-05-10 23:13:47 +0200
commitf468b8089cc4ab1e76fac7ed8defb7dc6a65d6c7 (patch)
tree5266c2cb6887f4fd166407f6b2df6abd1cbf08ad /build.sh
parent60969db9e072ea645d4076a58b4a6c5a55349288 (diff)
fix the linux bug with a workaround until the issue is resolved.
Diffstat (limited to 'build.sh')
-rwxr-xr-xbuild.sh18
1 files changed, 17 insertions, 1 deletions
diff --git a/build.sh b/build.sh
index 78d7a33..484d13c 100755
--- a/build.sh
+++ b/build.sh
@@ -13,7 +13,23 @@ 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 -opt:2
+
+ if ([ $? -ne 0 ])
+ then
+ echo "Test failed"
+ exit 1
+ fi
+
+ cd ..
+fi
+
+if [[ $1 == "test" ]]
+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
if ([ $? -ne 0 ])
then