diff --git a/build_release.sh b/build_release.sh index 809934a334095bc974889950c3f969cb11b31157..d58fe60719098af0d9c3e9019575046022d54e4a 100755 --- a/build_release.sh +++ b/build_release.sh @@ -10,4 +10,4 @@ target=$1 # TODO error if $target is empty echo "$tag.$rev $target" -$(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag -Drelease --prefix . +$(which time) zig build -Dtarget=$target -Duse-full-name -Dtag=$tag --prefix .