diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-06-22 19:44:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-22 19:44:18 +0200 |
| commit | 58b13eaf35b40e0ecd3e700955044d8ee9a48199 (patch) | |
| tree | 0b692be3831dde31b54c46e1efd07fa069194443 | |
| parent | c388704714dc5797ffa71d0b0119899df006497a (diff) | |
| parent | d2d8da2688ae038a0c4e600557a9c7ebaeea7e88 (diff) | |
Merge pull request #411 from thetarnav/sync-build-script
Sync `build.sh` with `build.bat`
| -rwxr-xr-x | build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -74,9 +74,9 @@ if [[ $1 == "debug" ]] then shift - odin build src/ -collection:src=src -out:ols -use-separate-modules -debug $@ + odin build src/ -show-timings -collection:src=src -out:ols -microarch:native -no-bounds-check -use-separate-modules -debug $@ exit 0 fi -odin build src/ -collection:src=src -out:ols -o:speed $@ +odin build src/ -show-timings -collection:src=src -out:ols -microarch:native -no-bounds-check -o:speed $@ |