diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-02-22 20:46:13 +0100 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-02-22 20:46:13 +0100 |
| commit | acb232ac94f46d6c1b81378ab0be0c5b2f91a446 (patch) | |
| tree | 50519c8b5f4847e73da0712c3ae801c2a184c434 /odinfmt.bat | |
| parent | a75c3424a6003f1ccbfbf6f170009ebf7bf18e4e (diff) | |
Automatically add shared collection.
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 c31e434..5eb7b56 100644 --- a/odinfmt.bat +++ b/odinfmt.bat @@ -1 +1 @@ -odin build tools/odinfmt/main.odin -file -show-timings -collection:shared=src -out:odinfmt.exe -o:speed +odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt.exe -o:speed |