diff options
Diffstat (limited to 'src')
| -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 """ |