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

run all extern-so tests consistently without dependencies
This commit is contained in:
bors 2022-09-24 06:47:21 +00:00
commit 6872a70343

View file

@ -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(())