From dca4c6298eac4f1595de166886ba4408dc87cc37 Mon Sep 17 00:00:00 2001 From: Changming Sun Date: Tue, 9 Jan 2024 16:35:54 -0800 Subject: [PATCH] update --- tools/ci_build/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci_build/build.py b/tools/ci_build/build.py index abfcd050b33a2..8bb8fa64e8de3 100644 --- a/tools/ci_build/build.py +++ b/tools/ci_build/build.py @@ -1510,7 +1510,7 @@ def generate_build_tree( "-pipe" ] if is_linux(): - ldflags += "-Wl,--strip-all" + ldflags += ["-Wl,--strip-all"] elif config == "RelWithDebInfo": cflags = [ "-DNDEBUG",