diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-05-10 23:13:47 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2021-05-10 23:13:47 +0200 |
| commit | f468b8089cc4ab1e76fac7ed8defb7dc6a65d6c7 (patch) | |
| tree | 5266c2cb6887f4fd166407f6b2df6abd1cbf08ad /build.sh | |
| parent | 60969db9e072ea645d4076a58b4a6c5a55349288 (diff) | |
fix the linux bug with a workaround until the issue is resolved.
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 18 |
1 files changed, 17 insertions, 1 deletions
@@ -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 |