diff --git a/tools/package/main.rs b/tools/package/main.rs index 69539cc..3320de3 100644 --- a/tools/package/main.rs +++ b/tools/package/main.rs @@ -56,7 +56,15 @@ fn main() { cmd.arg(format!("--output_user_root={bc}")); } - cmd.args(["build", "--compilation_mode", "opt", "--strip", "always", "--enable_bzlmod=false"]); + cmd.args([ + "build", + "--compilation_mode", + "opt", + "--strip", + "always", + "--enable_bzlmod=false", + "--enable_workspace=true", + ]); cmd.args(BINARIES.iter().map(|b| format!(":{b}"))); cmd.current_dir(cwd);