diff options
| -rw-r--r-- | src/tools/compiletest/src/header.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/compiletest/src/header.rs b/src/tools/compiletest/src/header.rs index a10372fd745..ff662736bdd 100644 --- a/src/tools/compiletest/src/header.rs +++ b/src/tools/compiletest/src/header.rs @@ -41,6 +41,8 @@ impl EarlyProps { iter_header(testfile, None, &mut |ln| { + // we should check if any only-<platform> exists and if it exists + // and does not matches the current platform, skip the test props.ignore = props.ignore || config.parse_cfg_name_directive(ln, "ignore") || |