build: include a build-id note only if explicitly requested

2022-05-31 13:51:59 -07:00
parent 59219e7e91
commit 6d691d3540
1 changed files with 1 additions and 1 deletions
--- 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);