diff options
Diffstat (limited to 'odinfmt.sh')
| -rwxr-xr-x[-rw-r--r--] | odinfmt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odinfmt.sh b/odinfmt.sh index d85788e..53c9d80 100644..100755 --- a/odinfmt.sh +++ b/odinfmt.sh @@ -1,3 +1,3 @@ #!/usr/bin/env bash -odin build tools/odinfmt -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 |