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.sh | |
| parent | ae1deef16ed49225f06ddaa14f6559efa7309a4c (diff) | |
Add debug build for odinfmt script
Diffstat (limited to 'odinfmt.sh')
| -rwxr-xr-x | odinfmt.sh | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -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 |