| ... | @@ -1,13 +1,11 @@ | ... | @@ -1,13 +1,11 @@ |
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | | 2 | |
| 3 | set -e | 3 | set -eu |
| 4 | | 4 | |
| 5 | tag="r$(./release_num.sh)" | 5 | tag="r$(./release_num.sh)" |
| 6 | rev=$(git log --format=%h -1) | 6 | rev=$(git log --format=%h -1) |
| 7 | | 7 | |
| 8 | target=$1 | 8 | target=$1 |
| 9 | | 9 | |
| 10 | # TODO error if $target is empty | | |
| 11 | | | |
| 12 | echo "$tag.$rev $target" | 10 | echo "$tag.$rev $target" |
| 13 | $(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 . |