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