diff options
| author | Ralf Jung <post@ralfj.de> | 2019-07-31 15:26:56 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-08-08 19:31:46 +0200 |
| commit | 946bed89da398187c77e9ef7d7b4c69e64deaba5 (patch) | |
| tree | 9b16053e937a00d0fafa5d5fd24a660cc6008217 /src/bootstrap | |
| parent | 78b658004cce335b19743cd5406dd3c5ecfe824b (diff) | |
| download | rust-946bed89da398187c77e9ef7d7b4c69e64deaba5.tar.gz rust-946bed89da398187c77e9ef7d7b4c69e64deaba5.zip | |
remove test-miri flag from bootstrap
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/builder.rs | 9 | ||||
| -rw-r--r-- | src/bootstrap/config.rs | 4 | ||||
| -rwxr-xr-x | src/bootstrap/configure.py | 1 | ||||
| -rw-r--r-- | src/bootstrap/test.rs | 3 |
4 files changed, 1 insertions, 16 deletions
diff --git a/src/bootstrap/builder.rs b/src/bootstrap/builder.rs index 52e37bfa1b0..e54c9360bae 100644 --- a/src/bootstrap/builder.rs +++ b/src/bootstrap/builder.rs @@ -543,15 +543,6 @@ impl<'a> Builder<'a> { parent: Cell::new(None), }; - if kind == Kind::Dist { - assert!( - !builder.config.test_miri, - "Do not distribute with miri enabled.\n\ - The distributed libraries would include all MIR (increasing binary size). - The distributed MIR would include validation statements." - ); - } - builder } diff --git a/src/bootstrap/config.rs b/src/bootstrap/config.rs index 5a5f4ac7252..a5bfafdfdb4 100644 --- a/src/bootstrap/config.rs +++ b/src/bootstrap/config.rs @@ -128,7 +128,6 @@ pub struct Config { pub low_priority: bool, pub channel: String, pub verbose_tests: bool, - pub test_miri: bool, pub save_toolstates: Option<PathBuf>, pub print_step_timings: bool, pub missing_tools: bool, @@ -315,7 +314,6 @@ struct Rust { debug: Option<bool>, dist_src: Option<bool>, verbose_tests: Option<bool>, - test_miri: Option<bool>, incremental: Option<bool>, save_toolstates: Option<String>, codegen_backends: Option<Vec<String>>, @@ -375,7 +373,6 @@ impl Config { config.codegen_tests = true; config.ignore_git = false; config.rust_dist_src = true; - config.test_miri = false; config.rust_codegen_backends = vec![INTERNER.intern_str("llvm")]; config.rust_codegen_backends_dir = "codegen-backends".to_owned(); config.deny_warnings = true; @@ -557,7 +554,6 @@ impl Config { set(&mut config.channel, rust.channel.clone()); set(&mut config.rust_dist_src, rust.dist_src); set(&mut config.verbose_tests, rust.verbose_tests); - set(&mut config.test_miri, rust.test_miri); // in the case "false" is set explicitly, do not overwrite the command line args if let Some(true) = rust.incremental { config.incremental = true; diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index 298330869b6..346f0cb2039 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -36,7 +36,6 @@ o("docs", "build.docs", "build standard library documentation") o("compiler-docs", "build.compiler-docs", "build compiler documentation") o("optimize-tests", "rust.optimize-tests", "build tests with optimizations") o("parallel-compiler", "rust.parallel-compiler", "build a multi-threaded rustc") -o("test-miri", "rust.test-miri", "run miri's test suite") o("verbose-tests", "rust.verbose-tests", "enable verbose output when running tests") o("ccache", "llvm.ccache", "invoke gcc/clang via ccache to reuse object files between builds") o("sccache", None, "invoke gcc/clang via sccache to reuse object files between builds") diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index 5a1f8ead9f2..79d8b867cb6 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -366,8 +366,7 @@ impl Step for Miri { const DEFAULT: bool = true; fn should_run(run: ShouldRun<'_>) -> ShouldRun<'_> { - let test_miri = run.builder.config.test_miri; - run.path("src/tools/miri").default_condition(test_miri) + run.path("src/tools/miri") } fn make_run(run: RunConfig<'_>) { |
