Build production Shardok optimized and profileable (#8750)

This commit is contained in:
2026-07-21 22:22:54 -07:00
committed by GitHub
parent e5be07b3b8
commit 2785015212
3 changed files with 27 additions and 3 deletions
+5
View File
@@ -11,6 +11,11 @@ if [ -n "${BAZEL_OUTPUT_BASE:-}" ]; then
fi
"${bazel_cmd[@]}" build \
-c opt \
--strip=never \
--copt=-gline-tables-only \
--copt=-fno-omit-frame-pointer \
--linkopt=-Wl,--build-id=sha1 \
--platforms=//:linux_arm64 \
--extra_toolchains=@llvm_toolchain_linux_arm64//:cc-toolchain-aarch64-linux \
"$@" \