Skip to content

Commit 946bed8

Browse files
committed
remove test-miri flag from bootstrap
1 parent 78b6580 commit 946bed8

File tree

6 files changed

+2
-18
lines changed

6 files changed

+2
-18
lines changed

src/bootstrap/builder.rs

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -543,15 +543,6 @@ impl<'a> Builder<'a> {
543543
parent: Cell::new(None),
544544
};
545545

546-
if kind == Kind::Dist {
547-
assert!(
548-
!builder.config.test_miri,
549-
"Do not distribute with miri enabled.\n\
550-
The distributed libraries would include all MIR (increasing binary size).
551-
The distributed MIR would include validation statements."
552-
);
553-
}
554-
555546
builder
556547
}
557548

src/bootstrap/config.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,6 @@ pub struct Config {
128128
pub low_priority: bool,
129129
pub channel: String,
130130
pub verbose_tests: bool,
131-
pub test_miri: bool,
132131
pub save_toolstates: Option<PathBuf>,
133132
pub print_step_timings: bool,
134133
pub missing_tools: bool,
@@ -315,7 +314,6 @@ struct Rust {
315314
debug: Option<bool>,
316315
dist_src: Option<bool>,
317316
verbose_tests: Option<bool>,
318-
test_miri: Option<bool>,
319317
incremental: Option<bool>,
320318
save_toolstates: Option<String>,
321319
codegen_backends: Option<Vec<String>>,
@@ -375,7 +373,6 @@ impl Config {
375373
config.codegen_tests = true;
376374
config.ignore_git = false;
377375
config.rust_dist_src = true;
378-
config.test_miri = false;
379376
config.rust_codegen_backends = vec![INTERNER.intern_str("llvm")];
380377
config.rust_codegen_backends_dir = "codegen-backends".to_owned();
381378
config.deny_warnings = true;
@@ -557,7 +554,6 @@ impl Config {
557554
set(&mut config.channel, rust.channel.clone());
558555
set(&mut config.rust_dist_src, rust.dist_src);
559556
set(&mut config.verbose_tests, rust.verbose_tests);
560-
set(&mut config.test_miri, rust.test_miri);
561557
// in the case "false" is set explicitly, do not overwrite the command line args
562558
if let Some(true) = rust.incremental {
563559
config.incremental = true;

src/bootstrap/configure.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,6 @@ def v(*args):
3636
o("compiler-docs", "build.compiler-docs", "build compiler documentation")
3737
o("optimize-tests", "rust.optimize-tests", "build tests with optimizations")
3838
o("parallel-compiler", "rust.parallel-compiler", "build a multi-threaded rustc")
39-
o("test-miri", "rust.test-miri", "run miri's test suite")
4039
o("verbose-tests", "rust.verbose-tests", "enable verbose output when running tests")
4140
o("ccache", "llvm.ccache", "invoke gcc/clang via ccache to reuse object files between builds")
4241
o("sccache", None, "invoke gcc/clang via sccache to reuse object files between builds")

src/bootstrap/test.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -366,8 +366,7 @@ impl Step for Miri {
366366
const DEFAULT: bool = true;
367367

368368
fn should_run(run: ShouldRun<'_>) -> ShouldRun<'_> {
369-
let test_miri = run.builder.config.test_miri;
370-
run.path("src/tools/miri").default_condition(test_miri)
369+
run.path("src/tools/miri")
371370
}
372371

373372
fn make_run(run: RunConfig<'_>) {

src/ci/azure-pipelines/auto.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -254,7 +254,7 @@ jobs:
254254
x86_64-msvc-tools:
255255
MSYS_BITS: 64
256256
SCRIPT: src/ci/docker/x86_64-gnu-tools/checktools.sh x.py /tmp/toolstates.json windows
257-
RUST_CONFIGURE_ARGS: --build=x86_64-pc-windows-msvc --save-toolstates=/tmp/toolstates.json --enable-test-miri
257+
RUST_CONFIGURE_ARGS: --build=x86_64-pc-windows-msvc --save-toolstates=/tmp/toolstates.json
258258

259259
# 32/64-bit MinGW builds.
260260
#

src/ci/docker/x86_64-gnu-tools/Dockerfile

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,5 @@ COPY x86_64-gnu-tools/repo.sh /tmp/
2323

2424
ENV RUST_CONFIGURE_ARGS \
2525
--build=x86_64-unknown-linux-gnu \
26-
--enable-test-miri \
2726
--save-toolstates=/tmp/toolstates.json
2827
ENV SCRIPT /tmp/checktools.sh ../x.py /tmp/toolstates.json linux

0 commit comments

Comments
 (0)