| author | |
| committer | |
| log | 97241c463edc1b4c43f39d7250fbc36059248795 |
| tree | 47f69a98d9f134cda534a9799b4329a5401d7a35 |
| parent | 84a091c269cc2fdbe75289aed58d9534811d8850 |
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 . | |
| 11 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=ReleaseSafe |