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