diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-14 22:52:16 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-14 22:52:16 +0200 |
| commit | 817e63d6ea0b5ce45a898ff288fb51f5a96a9f59 (patch) | |
| tree | fb84dcd804814053bba24613e2b92b810bd90e9a | |
| parent | b9076a8f7c6a1c9b55b177cccb7f6f47bec6cb34 (diff) | |
| parent | 88e9f343d5041309b5079ed7fd03ae86d5da6f75 (diff) | |
Merge branch 'master' of github.com:DanielGavin/ols
| -rw-r--r-- | odinfmt.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odinfmt.bat b/odinfmt.bat index 19c0202..8b9c022 100644 --- a/odinfmt.bat +++ b/odinfmt.bat @@ -1 +1 @@ -odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt.exe -o:minimal
\ No newline at end of file +odin build tools/odinfmt/main.odin -file -show-timings -collection:shared=src -out:odinfmt.exe -o:minimal |