diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2023-02-08 08:49:51 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2023-03-04 16:37:40 +0100 |
| commit | 91bb563e13a20f84b2f2027a33f4855f19720c67 (patch) | |
| tree | 1dd364005b51882dc70b66a3c8a0d2e5fb8863d7 /src | |
| parent | bfc220a96e7b4198c2ae18c7fc6e36fd67448086 (diff) | |
Try to avoid the last rustc rebuild
Diffstat (limited to 'src')
| -rw-r--r-- | src/ci/stage-build.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ci/stage-build.py b/src/ci/stage-build.py index ebd111e6453..fe3083dc31e 100644 --- a/src/ci/stage-build.py +++ b/src/ci/stage-build.py @@ -798,12 +798,15 @@ def execute_build_pipeline(timer: Timer, pipeline: Pipeline, final_build_args: L "--llvm-profile-use", pipeline.llvm_profile_merged_file(), "--llvm-bolt-profile-generate", + "--rust-profile-use", + pipeline.rustc_profile_merged_file() ]) record_metrics(pipeline, rustc_build) with stage3.section("Gather profiles"): gather_llvm_bolt_profiles(pipeline) + # LLVM is not being cleared here, we want to reuse the previous build print_free_disk_space(pipeline) final_build_args += [ "--llvm-bolt-profile-use", |