disable extern-so ffi support for now due to licensing situation

This commit is contained in:
Ralf Jung 2022-09-01 22:25:14 +02:00
parent 2d50443401
commit 5f3545e773
6 changed files with 7 additions and 45 deletions

View file

@ -212,8 +212,8 @@ fn main() -> Result<()> {
ui(Mode::Panic, "tests/panic", WithDependencies)?;
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)?;
//FIXME(miri#2526): ui(Mode::Pass, "tests/extern-so/pass", WithoutDependencies)?;
//FIXME(miri#2526): ui(Mode::Fail { require_patterns: true }, "tests/extern-so/fail", WithDependencies)?;
}
Ok(())