diff options
| author | bors <bors@rust-lang.org> | 2016-04-18 09:53:13 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2016-04-18 09:53:13 -0700 |
| commit | d00782494b47ca7a4ae8e665f99ab10012b45f9c (patch) | |
| tree | a057e83927838f206889b53648a6140cd282d99a | |
| parent | 63760acf31e605c8a91bb5cbcbcb4bfb95435e48 (diff) | |
| parent | 4d1e375654d119b7f3204b32c377e5c6a03230c7 (diff) | |
| download | rust-d00782494b47ca7a4ae8e665f99ab10012b45f9c.tar.gz rust-d00782494b47ca7a4ae8e665f99ab10012b45f9c.zip | |
Auto merge of #33042 - alexcrichton:clean-doc, r=nikomatsakis
rustbuild: Clean more as part of `make clean` Clean out old documentation as well as the new test/tools directories. Should prevent a problem that happened this morning where a PR bounced and then it left docs with "broken links" so all future PRs bounced.
| -rw-r--r-- | src/bootstrap/build/clean.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bootstrap/build/clean.rs b/src/bootstrap/build/clean.rs index 8f78fed001c..796d70bdecf 100644 --- a/src/bootstrap/build/clean.rs +++ b/src/bootstrap/build/clean.rs @@ -19,11 +19,14 @@ pub fn clean(build: &Build) { let out = build.out.join(host); rm_rf(build, &out.join("compiler-rt")); + rm_rf(build, &out.join("doc")); for stage in 0..4 { rm_rf(build, &out.join(format!("stage{}", stage))); rm_rf(build, &out.join(format!("stage{}-std", stage))); rm_rf(build, &out.join(format!("stage{}-rustc", stage))); + rm_rf(build, &out.join(format!("stage{}-test", stage))); + rm_rf(build, &out.join(format!("stage{}-tools", stage))); } } } |