diff options
Diffstat (limited to 'tests/ui/lint/lint-unknown-lint-cmdline-allow.rs')
| -rw-r--r-- | tests/ui/lint/lint-unknown-lint-cmdline-allow.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/lint/lint-unknown-lint-cmdline-allow.rs b/tests/ui/lint/lint-unknown-lint-cmdline-allow.rs index c7f8d434c04..68c5e3b1a3a 100644 --- a/tests/ui/lint/lint-unknown-lint-cmdline-allow.rs +++ b/tests/ui/lint/lint-unknown-lint-cmdline-allow.rs @@ -1,4 +1,4 @@ -// check-pass -// compile-flags:-A unknown-lints -D bogus -D dead_cod +//@ check-pass +//@ compile-flags:-A unknown-lints -D bogus -D dead_cod fn main() { } |