diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-06-24 15:57:25 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-06-25 16:05:28 +0200 |
| commit | 25dee4e56e0ad075044e7e465ae513086c78f45a (patch) | |
| tree | a040b3528aad0da002d0d351c8fd36a041ff8075 | |
| parent | e0f8e865dbf9f1dc9d1d917efc04320e2eb123f5 (diff) | |
| download | rust-25dee4e56e0ad075044e7e465ae513086c78f45a.tar.gz rust-25dee4e56e0ad075044e7e465ae513086c78f45a.zip | |
Skip more dist components
| -rw-r--r-- | src/tools/opt-dist/src/main.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/opt-dist/src/main.rs b/src/tools/opt-dist/src/main.rs index d2827ec01ca..9c8a6637a3b 100644 --- a/src/tools/opt-dist/src/main.rs +++ b/src/tools/opt-dist/src/main.rs @@ -407,13 +407,18 @@ fn main() -> anyhow::Result<()> { for target in [ "rust-docs", "rustc-docs", + "rustc-dev", + "rust-dev", "rust-docs-json", "rust-analyzer", "rustc-src", + "extended", "clippy", "miri", "rustfmt", "gcc", + "generate-copyright", + "bootstrap", ] { build_args.extend(["--skip".to_string(), target.to_string()]); } |