diff options
| -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 |