diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-05-09 14:31:18 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2021-05-09 14:31:18 +0200 |
| commit | 3d7d4cd2be2b460be0eaf6954d48ff04197212fc (patch) | |
| tree | 52203ca0fa0b047eb22c50ebe9878fc7abf3146b /build.sh | |
| parent | 9253baa11ba8d07d790f44326866c28dbb0ab61b (diff) | |
remove microarch and make it run tests in CI on linux
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -8,12 +8,16 @@ else fi #BUG in odin test, it makes the executable with the same name as a folder and gets confused. -#${ODIN} test tests -llvm-api +cd tests -#if [ $? -ne 0 ] -#then -# echo "Test failed" -# exit 1 -#fi +${ODIN} test ../tests -collection:shared=../src -${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 -microarch=native +if ([ $? -ne 0 ] && [[ $1 == "CI" ]]) +then + echo "Test failed" + exit 1 +fi + +cd .. + +${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 |