diff options
| author | Damian Tarnawski <gthetarnav@gmail.com> | 2024-06-22 15:49:42 +0200 |
|---|---|---|
| committer | Damian Tarnawski <gthetarnav@gmail.com> | 2024-06-22 15:49:42 +0200 |
| commit | d2d8da2688ae038a0c4e600557a9c7ebaeea7e88 (patch) | |
| tree | 0b692be3831dde31b54c46e1efd07fa069194443 /build.sh | |
| parent | c388704714dc5797ffa71d0b0119899df006497a (diff) | |
Sync `build.sh` with `build.bat`
Diffstat (limited to 'build.sh')
| -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 $@ |