diff --git a/build_release.sh b/build_release.sh index cf0fddff41da36ad20a30d79ae8977f3dc686685..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 . -Dmode=Debug +$(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix . -Dmode=ReleaseSafe