| author | |
| committer | |
| log | 055f0f6033fff003baf22ff6d80570c167443b34 |
| tree | 10e24333031b3384fbcdfb1d642cb098c0b543f8 |
| parent | 6ce5bff413727e8ebaf0ed443271c1d118803778 |
1 files changed, 1 insertions(+), 1 deletions(-)
build_release.sh+1-1| ... | ... | @@ -8,4 +8,4 @@ rev=$(git log --format=%h -1) |
| 8 | 8 | target=$1 |
| 9 | 9 | |
| 10 | 10 | echo "$tag.$rev $target" |
| 11 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=Debug | |
| 11 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=ReleaseSafe |