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

bors · bors · commit 6872a70343fd · 2022-09-24T06:47:21.000Z
run all extern-so tests consistently without dependencies
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(())

Original file line number	Diff line number	Diff line change
`@@ -213,7 +213,7 @@ fn main() -> Result<()> {`
`213`	`213`	`ui(Mode::Fail { require_patterns: true }, "tests/fail", WithDependencies)?;`
`214`	`214`	`if cfg!(target_os = "linux") {`
`215`	`215`	`ui(Mode::Pass, "tests/extern-so/pass", WithoutDependencies)?;`
`216`		`- ui(Mode::Fail { require_patterns: true }, "tests/extern-so/fail", WithDependencies)?;`
	`216`	`+ ui(Mode::Fail { require_patterns: true }, "tests/extern-so/fail", WithoutDependencies)?;`
`217`	`217`	`}`
`218`	`218`
`219`	`219`	`Ok(())`