From 055f0f6033fff003baf22ff6d80570c167443b34 Mon Sep 17 00:00:00 2001 From: Meghan Denny Date: Tue, 3 Sep 2024 02:54:48 -0700 Subject: [PATCH] ci: build in ReleaseSafe --- build_release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.54.0