diff options
| -rw-r--r-- | src/tools/compiletest/src/header.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/compiletest/src/header.rs b/src/tools/compiletest/src/header.rs index b6ef20ed268..60ac7637fce 100644 --- a/src/tools/compiletest/src/header.rs +++ b/src/tools/compiletest/src/header.rs @@ -758,6 +758,7 @@ const KNOWN_DIRECTIVE_NAMES: &[&str] = &[ "ignore-mode-codegen-units", "ignore-mode-coverage-map", "ignore-mode-coverage-run", + "ignore-mode-crashes", "ignore-mode-debuginfo", "ignore-mode-incremental", "ignore-mode-js-doc-test", |