diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-06-03 08:44:56 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-06-03 08:44:56 +0200 |
| commit | 3b02376c8f9ea0d41c164931f60c52bea68df225 (patch) | |
| tree | d3a3021838154d2af63269578c4e03200493f991 | |
| parent | 7a52f1c7cf659c62fbb89bd38d6e4fe4902622cc (diff) | |
| download | rust-3b02376c8f9ea0d41c164931f60c52bea68df225.tar.gz rust-3b02376c8f9ea0d41c164931f60c52bea68df225.zip | |
command line args trump config.toml settings
| -rw-r--r-- | src/bootstrap/config.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs index fbe9976b413..47feb8a8ab6 100644 --- a/src/bootstrap/config.rs +++ b/src/bootstrap/config.rs @@ -530,7 +530,10 @@ impl Config { set(&mut config.rust_dist_src, rust.dist_src); set(&mut config.quiet_tests, rust.quiet_tests); set(&mut config.test_miri, rust.test_miri); - set(&mut config.incremental, rust.incremental); + // in the case "false" is set explicitly, do not overwrite the command line args + if let Some(true) = rust.incremental { + config.incremental = true; + } set(&mut config.wasm_syscall, rust.wasm_syscall); set(&mut config.lld_enabled, rust.lld); config.rustc_parallel_queries = rust.experimental_parallel_queries.unwrap_or(false); |
