diff options
| author | JeremySorensen <jeremy.a.sorensen@gmail.com> | 2017-08-15 18:26:29 -0700 |
|---|---|---|
| committer | JeremySorensen <jeremy.a.sorensen@gmail.com> | 2017-08-15 18:39:58 -0700 |
| commit | c3b27d5a710a053a71bcee7e3a2a2c646eeef2af (patch) | |
| tree | 51725ca1ee6d18e463948102e001a9016ae184bd /src | |
| parent | c774c9591959edc9aa098e5ff7fc4be2e4a12c09 (diff) | |
| download | rust-c3b27d5a710a053a71bcee7e3a2a2c646eeef2af.tar.gz rust-c3b27d5a710a053a71bcee7e3a2a2c646eeef2af.zip | |
make ignore-git true by default when channel is dev
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/config.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs index aa688fc66e2..f284bafd2d6 100644 --- a/src/bootstrap/config.rs +++ b/src/bootstrap/config.rs @@ -296,7 +296,7 @@ impl Config { config.rust_codegen_units = 1; config.channel = "dev".to_string(); config.codegen_tests = true; - config.ignore_git = false; + config.ignore_git = true; config.rust_dist_src = true; config.on_fail = flags.on_fail; @@ -419,7 +419,12 @@ impl Config { set(&mut config.use_jemalloc, rust.use_jemalloc); set(&mut config.backtrace, rust.backtrace); set(&mut config.channel, rust.channel.clone()); + + // on the dev channel, ignore_git should be true by default + // on other channels it should be false by default + config.ignore_git = config.channel == "dev"; set(&mut config.ignore_git, rust.ignore_git); + config.rustc_default_linker = rust.default_linker.clone(); config.rustc_default_ar = rust.default_ar.clone(); config.musl_root = rust.musl_root.clone().map(PathBuf::from); |
