diff options
| author | Phil <homan.phil@gmail.com> | 2022-06-20 17:05:21 -0700 |
|---|---|---|
| committer | Phil <homan.phil@gmail.com> | 2022-06-20 17:05:21 -0700 |
| commit | 9e21cd4e25bf6f149a58887ef410aa9c45b3e977 (patch) | |
| tree | d2bb3c12d5500cd73cec9718c0d671ee979dbe26 /odinfmt.bat | |
| parent | 23feadba81e951e523dd37d14e068635408bc90b (diff) | |
Fix building odinfmt on windows with latest Odin
Diffstat (limited to 'odinfmt.bat')
| -rw-r--r-- | odinfmt.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odinfmt.bat b/odinfmt.bat index a50406c..19c0202 100644 --- a/odinfmt.bat +++ b/odinfmt.bat @@ -1 +1 @@ -odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt -opt:2
\ No newline at end of file +odin build tools/odinfmt -show-timings -collection:shared=src -out:odinfmt.exe -o:minimal
\ No newline at end of file |