Auto merge of rust-lang#2563 - RalfJung:nodep, r=RalfJung

run all extern-so tests consistently without dependencies
RalfJung · Sep 24, 2022 · 6872a70 · 6872a70
2 parents 0d5748e + 2b3d760
commit 6872a70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs
@@ -213,7 +213,7 @@ fn main() -> Result<()> {
     ui(Mode::Fail { require_patterns: true }, "tests/fail", WithDependencies)?;
     if cfg!(target_os = "linux") {
         ui(Mode::Pass, "tests/extern-so/pass", WithoutDependencies)?;
-        ui(Mode::Fail { require_patterns: true }, "tests/extern-so/fail", WithDependencies)?;
+        ui(Mode::Fail { require_patterns: true }, "tests/extern-so/fail", WithoutDependencies)?;
     }
 
     Ok(())