diff options
| author | Phil <homan.phil@gmail.com> | 2022-07-14 13:42:27 -0700 |
|---|---|---|
| committer | Phil <homan.phil@gmail.com> | 2022-07-14 13:42:27 -0700 |
| commit | b163e52b54c559ba5414fee2e52d1070bbb48b31 (patch) | |
| tree | 71bc4460ea37ff4e67a93301d7781a6cf0b99d19 | |
| parent | 755ee87a48db7eff9790a6e7d438a168cfaa5256 (diff) | |
update odinfmt.bat to build from file
| -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 |