diff options
| author | Eric Huss <eric@huss.org> | 2020-07-07 06:37:47 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2020-07-07 06:37:47 -0700 |
| commit | 561d5acb9e6a968be8532a50611e9aa41e25a001 (patch) | |
| tree | 3de33f01e3cefaed35adf2511718c0aa3bdf858f | |
| parent | 70f9d23b916f2db7da711aa4a0317a218997ba42 (diff) | |
| download | rust-561d5acb9e6a968be8532a50611e9aa41e25a001.tar.gz rust-561d5acb9e6a968be8532a50611e9aa41e25a001.zip | |
Fix occasional bootstrap panic in docs.
| -rw-r--r-- | src/bootstrap/doc.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index ed351354c44..4bec6c7791a 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -156,7 +156,7 @@ impl Step for RustbookSrc { let index = out.join("index.html"); let rustbook = builder.tool_exe(Tool::Rustbook); let mut rustbook_cmd = builder.tool_cmd(Tool::Rustbook); - if up_to_date(&src, &index) && up_to_date(&rustbook, &index) { + if builder.config.dry_run || up_to_date(&src, &index) && up_to_date(&rustbook, &index) { return; } builder.info(&format!("Rustbook ({}) - {}", target, name)); |
