diff options
| author | Jeremy Sorensen <jeremy.a.sorensen@gmail.com> | 2017-08-28 20:44:40 -0700 |
|---|---|---|
| committer | Jeremy Sorensen <jeremy.a.sorensen@gmail.com> | 2017-08-28 20:45:04 -0700 |
| commit | 5009a222e0597902731470544288fc01fa6d7038 (patch) | |
| tree | eef8ff4cd17ae294e3b9cbd9602d2aa777c9e54c /src/bootstrap | |
| parent | fb30dd70cef8f9a75c042a69d8eebed6ec63f9e2 (diff) | |
| download | rust-5009a222e0597902731470544288fc01fa6d7038.tar.gz rust-5009a222e0597902731470544288fc01fa6d7038.zip | |
use an optional bool to keep track of ignore-git setting, if not specified by the end, use the channel to determine its value
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/config.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs index 2c25f374e12..372e0906cc6 100644 --- a/src/bootstrap/config.rs +++ b/src/bootstrap/config.rs @@ -401,6 +401,7 @@ impl Config { let mut debuginfo = None; let mut debug_assertions = None; let mut optimize = None; + let mut ignore_git = None; if let Some(ref llvm) = toml.llvm { match llvm.ccache { @@ -432,6 +433,7 @@ impl Config { debuginfo_lines = rust.debuginfo_lines; debuginfo_only_std = rust.debuginfo_only_std; optimize = rust.optimize; + ignore_git = rust.ignore_git; debug_jemalloc = rust.debug_jemalloc; set(&mut config.rust_optimize_tests, rust.optimize_tests); set(&mut config.rust_debuginfo_tests, rust.debuginfo_tests); @@ -440,7 +442,6 @@ impl Config { set(&mut config.use_jemalloc, rust.use_jemalloc); set(&mut config.backtrace, rust.backtrace); set(&mut config.channel, rust.channel.clone()); - set(&mut config.ignore_git, rust.ignore_git); set(&mut config.rust_dist_src, rust.dist_src); set(&mut config.quiet_tests, rust.quiet_tests); config.rustc_default_linker = rust.default_linker.clone(); @@ -516,6 +517,9 @@ impl Config { config.rust_debug_assertions = debug_assertions.unwrap_or(default); config.rust_optimize = optimize.unwrap_or(!default); + let default = config.channel == "dev"; + config.ignore_git = ignore_git.unwrap_or(default); + config } |
