Skip to content

Commit

Permalink
Don't check Makefile directives
Browse files Browse the repository at this point in the history
  • Loading branch information
jieyouxu committed Feb 24, 2024
1 parent c230627 commit 6579112
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions src/tools/compiletest/src/header.rs
Original file line number Diff line number Diff line change
Expand Up @@ -964,6 +964,17 @@ fn iter_header(
{
let directive_ln = original_directive_line.trim();

// Let Makefiles just get handled in the regular way.
if testfile.extension().is_some_and(|e| e != "rs") {
it(HeaderLine {
line_number,
original_line,
header_revision,
directive: original_directive_line,
});
continue;
}

if let Some((directive_name, _)) = directive_ln.split_once([':', ' ']) {
if KNOWN_DIRECTIVE_NAMES.contains(&directive_name) {
it(HeaderLine {
Expand Down

0 comments on commit 6579112

Please sign in to comment.