diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-08-24 23:45:47 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-09-02 14:13:36 +0200 |
| commit | a80ab3a2f85240ec2f9bda00f7cae1abc50865ef (patch) | |
| tree | cfa72dad540f95cc8da30de071c4e02ca65b38de /src/bootstrap | |
| parent | 478464570e60523adc6d303577d1782229ca1f93 (diff) | |
| download | rust-a80ab3a2f85240ec2f9bda00f7cae1abc50865ef.tar.gz rust-a80ab3a2f85240ec2f9bda00f7cae1abc50865ef.zip | |
Generate version file if it doesn't exist
Diffstat (limited to 'src/bootstrap')
| -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 6805474aa04..7983c973cf1 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -375,7 +375,7 @@ impl Step for Standalone { up_to_date(&footer, &html) && up_to_date(&favicon, &html) && up_to_date(&full_toc, &html) && - up_to_date(&version_info, &html) && + (builder.config.dry_run || up_to_date(&version_info, &html)) && (builder.config.dry_run || up_to_date(&rustdoc, &html)) { continue } |