diff options
Diffstat (limited to 'scripts/documentation-file-ref-check')
-rwxr-xr-x | scripts/documentation-file-ref-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index 05235775cc71..5d775ca7469b 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check | |||
@@ -127,7 +127,7 @@ while (<IN>) { | |||
127 | if ($f =~ m/tools/) { | 127 | if ($f =~ m/tools/) { |
128 | my $path = $f; | 128 | my $path = $f; |
129 | $path =~ s,(.*)/.*,$1,; | 129 | $path =~ s,(.*)/.*,$1,; |
130 | next if (grep -e, glob("$path/$ref $path/$fulref")); | 130 | next if (grep -e, glob("$path/$ref $path/../$ref $path/$fulref")); |
131 | } | 131 | } |
132 | 132 | ||
133 | # Discard known false-positives | 133 | # Discard known false-positives |