| 1 | #!/bin/sh |
| 2 | |
| 3 | set -eu |
| 4 | |
| 5 | tag="r$(./release_num.sh)" |
| 6 | rev=$(git log --format=%h -1) |
| 7 | |
| 8 | target=$1 |
| 9 | |
| 10 | echo "$tag.$rev $target" |
| 11 | $(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=ReleaseSafe |