diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-02-14 14:01:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-14 14:01:14 +0100 |
| commit | 92d094b7a0f35549501e3de550b22bdaadf3f14f (patch) | |
| tree | 002084abe749117c8955bdcdd81b08dcdc0c722c | |
| parent | e3f8fc5cf5e2ce16be3b6ad84a019922d19a3167 (diff) | |
Update build.sh
| -rw-r--r-- | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ #!/bin/sh -x -odin build src/ -show-timings -microarch:native -collection:shared=src -out:ols -opt:3 +odin build src/ -show-timings -microarch:native -collection:shared=src -out:ols -opt:1 |