diff options
| author | bors <bors@rust-lang.org> | 2023-09-06 06:13:21 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-06 06:13:21 +0000 |
| commit | 6e4fd87002c7ebf24a8c97dfad0f0df2701cfb4c (patch) | |
| tree | 5dec19f4d974a33fb36aaaf936c4ab86b51b7f31 /src/bootstrap/tool.rs | |
| parent | f2568c8316805749fe616e3de08c3f7c2bec3680 (diff) | |
| parent | b87067643257deddb36977b03e1b5497b2935595 (diff) | |
Auto merge of #3053 - RalfJung:rustup, r=RalfJung
Rustup
Diffstat (limited to 'src/bootstrap/tool.rs')
| -rw-r--r-- | src/bootstrap/tool.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bootstrap/tool.rs b/src/bootstrap/tool.rs index 07ff3da6b4a..f094dd9d7c9 100644 --- a/src/bootstrap/tool.rs +++ b/src/bootstrap/tool.rs @@ -306,6 +306,7 @@ bootstrap_tool!( GenerateWindowsSys, "src/tools/generate-windows-sys", "generate-windows-sys"; RustdocGUITest, "src/tools/rustdoc-gui-test", "rustdoc-gui-test", is_unstable_tool = true, allow_features = "test"; OptimizedDist, "src/tools/opt-dist", "opt-dist"; + CoverageDump, "src/tools/coverage-dump", "coverage-dump"; ); #[derive(Debug, Copy, Clone, Hash, PartialEq, Eq, Ord, PartialOrd)] |