From 97241c463edc1b4c43f39d7250fbc36059248795 Mon Sep 17 00:00:00 2001 From: Meghan Denny Date: Mon, 14 Aug 2023 22:18:40 -0700 Subject: [PATCH] build: use ReleaseSafe --- build_release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.54.0