diff options
| author | onur-ozkan <work@onurozkan.dev> | 2025-01-10 11:44:15 +0300 |
|---|---|---|
| committer | onur-ozkan <work@onurozkan.dev> | 2025-01-10 11:44:15 +0300 |
| commit | 37eb9fa73f492ec40a1149d3a559b37b34348db7 (patch) | |
| tree | 94898aa5da9c5f0d5f01f1f8df73dc5da350af0f /src/bootstrap | |
| parent | e02957a6dcd98daf0c46ba88b2dfcdb38bb80a9d (diff) | |
| download | rust-37eb9fa73f492ec40a1149d3a559b37b34348db7.tar.gz rust-37eb9fa73f492ec40a1149d3a559b37b34348db7.zip | |
ensure `optimized_compiler_builtins` check for CI rustc
Signed-off-by: onur-ozkan <work@onurozkan.dev>
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/src/core/config/config.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bootstrap/src/core/config/config.rs b/src/bootstrap/src/core/config/config.rs index 0747545c3e1..a9392e746be 100644 --- a/src/bootstrap/src/core/config/config.rs +++ b/src/bootstrap/src/core/config/config.rs @@ -3172,6 +3172,9 @@ fn check_incompatible_options_for_ci_rustc( let profiler = &ci_cfg.profiler; err!(current_cfg.profiler, profiler, "build"); + + let optimized_compiler_builtins = &ci_cfg.optimized_compiler_builtins; + err!(current_cfg.optimized_compiler_builtins, optimized_compiler_builtins, "build"); } } |