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 | |
| parent | ae1deef16ed49225f06ddaa14f6559efa7309a4c (diff) | |
Add debug build for odinfmt script
| -rw-r--r-- | odinfmt.bat | 10 | ||||
| -rwxr-xr-x | odinfmt.sh | 10 |
2 files changed, 18 insertions, 2 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 +) @@ -1,3 +1,11 @@ #!/usr/bin/env bash -odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -o:none +if [[ $1 == "debug" ]] +then + shift + + odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -o:none + exit 0 +fi + +odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -o:speed |