#!/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} 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 echo "Test failed" exit 1 fi cd .. fi ${ODIN} build src/ -show-timings -collection:shared=src -out:ols -o:speed