diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2023-06-07 14:16:28 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2023-06-07 14:16:28 +0200 |
| commit | 41f9f63de65a029393dfe7ec22c54a75fdf65d20 (patch) | |
| tree | e35e7b9bd8f6ba9a3f46445c5dd79dc65eb647f2 | |
| parent | 14ed9fa01c48ba6b97e919193c95d6445078be6f (diff) | |
| download | rust-41f9f63de65a029393dfe7ec22c54a75fdf65d20.tar.gz rust-41f9f63de65a029393dfe7ec22c54a75fdf65d20.zip | |
Use ``--keep-stage` also for the final build
| -rw-r--r-- | src/ci/stage-build.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ci/stage-build.py b/src/ci/stage-build.py index 45f13880a4d..febc0492b94 100644 --- a/src/ci/stage-build.py +++ b/src/ci/stage-build.py @@ -973,6 +973,12 @@ def execute_build_pipeline(timer: Timer, pipeline: Pipeline, runner: BenchmarkRu ] print_free_disk_space(pipeline) + # We want to keep the already built PGO-optimized `rustc`. + dist_build_args += [ + "--keep-stage", "0", + "--keep-stage", "1" + ] + """ Final stage: Build PGO optimized rustc + PGO/BOLT optimized LLVM """ |