diff options
| author | Kevin Sjöberg <mail@kevinsjoberg.com> | 2022-09-03 20:52:25 +0200 |
|---|---|---|
| committer | Kevin Sjöberg <mail@kevinsjoberg.com> | 2022-09-03 20:52:25 +0200 |
| commit | f5bb4730f4815e26fe136502b4db6e21a4eb0710 (patch) | |
| tree | 19f52bdbd7abb9dc54b70fbd41db89c11f3d11a1 | |
| parent | b919641410009942f2eed6ada32b38e8bc662840 (diff) | |
Replace -opt with -o flag
`-opt` has been deprecated and will be removed next release. Use
`-o:minimal`, etc.
| -rwxr-xr-x | odinfmt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ #!/usr/bin/env bash -odin build tools/odinfmt/main.odin -file -show-timings -collection:shared=src -out:odinfmt -opt:2
\ No newline at end of file +odin build tools/odinfmt/main.odin -file -show-timings -collection:shared=src -out:odinfmt -o:speed |