From 6d691d3540b1979f0a8d604922c93209b9c0dba0 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Tue, 31 May 2022 13:51:59 -0700 Subject: [PATCH] build: include a build-id note only if explicitly requested --- build.zig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.zig b/build.zig index 163c0bb5a7..9f05fc982e 100644 --- a/build.zig +++ b/build.zig @@ -145,7 +145,7 @@ pub fn build(b: *Builder) !void { const exe = b.addExecutable("zig", main_file); exe.strip = strip; - exe.build_id = !strip; + exe.build_id = b.option(bool, "build-id", "Include a build id note") orelse false; exe.install(); exe.setBuildMode(mode); exe.setTarget(target);