diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-31 09:41:39 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-31 09:44:34 -0400 |
| commit | 21bb185de0e17b714739e815d7a6f9fcb1185ab9 (patch) | |
| tree | 3b1a61600525f00c52bbf1fa7219e240907236f8 /odinfmt.bat | |
| parent | ae1deef16ed49225f06ddaa14f6559efa7309a4c (diff) | |
Add debug build for odinfmt script
Diffstat (limited to 'odinfmt.bat')
| -rw-r--r-- | odinfmt.bat | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/odinfmt.bat b/odinfmt.bat index 5eb7b56..a0f33d5 100644 --- a/odinfmt.bat +++ b/odinfmt.bat @@ -1 +1,9 @@ -odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt.exe -o:speed +@echo off + +setlocal enabledelayedexpansion + +if "%1" == "debug" ( + odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt.exe -o:none +) else ( + odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt.exe -o:speed +) |