diff --git a/build_release.sh b/build_release.sh index e0c387455fa3cbabc331917a411413f3f3e88aa9..43ce3a073b4fd928d3615a9bdfe591e9cb12296c 100755 --- a/build_release.sh +++ b/build_release.sh @@ -8,4 +8,4 @@ rev=$(git log --format=%h -1) target=$1 echo "$tag.$rev $target" -$(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . +$(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=ReleaseSafe