diff options
| author | Ralf Jung <post@ralfj.de> | 2023-06-03 16:52:33 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-06-03 17:48:51 +0200 |
| commit | ca720fdfee83c7b63ee5acb29b6b5b07a493e236 (patch) | |
| tree | 0f10e3c823c7ee6786750e3a2ba9d285fde406b6 /src | |
| parent | df4b808db48079c206b41bbd03e5e2f0ee186dc0 (diff) | |
| download | rust-ca720fdfee83c7b63ee5acb29b6b5b07a493e236.tar.gz rust-ca720fdfee83c7b63ee5acb29b6b5b07a493e236.zip | |
miri compiletest: no longer allow some warnings in rustc test suite
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index 71959fa1158..9e6e3703153 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -51,18 +51,9 @@ fn test_config(target: &str, path: &str, mode: Mode, with_dependencies: bool) -> let mut program = CommandBuilder::rustc(); program.program = miri_path(); - let in_rustc_test_suite = option_env!("RUSTC_STAGE").is_some(); - // Add some flags we always want. - if in_rustc_test_suite { - // Less aggressive warnings to make the rustc toolstate management less painful. - // (We often get warnings when e.g. a feature gets stabilized or some lint gets added/improved.) - program.args.push("-Astable-features".into()); - program.args.push("-Aunused".into()); - } else { - program.args.push("-Dwarnings".into()); - program.args.push("-Dunused".into()); - } + program.args.push("-Dwarnings".into()); + program.args.push("-Dunused".into()); if let Ok(extra_flags) = env::var("MIRIFLAGS") { for flag in extra_flags.split_whitespace() { program.args.push(flag.into()); |
