diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-04-27 00:17:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-27 00:17:01 +0200 |
| commit | 6f6f95c000edb7305371f96d466731122ac54178 (patch) | |
| tree | a40b3964a56c6944a9962a98b999d2db7b6074e6 /build.sh | |
| parent | e801271d1d3c9352e60246ba1f397f34d806fc5e (diff) | |
Update build.sh
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,4 +16,4 @@ fi # exit 1 #fi -${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 -llvm-api -microarch=native
\ No newline at end of file +${ODIN} build src/ -show-timings -collection:shared=src -out:ols -opt:2 -microarch=native |