diff options
| -rwxr-xr-x | scripts/headerdep.pl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/headerdep.pl b/scripts/headerdep.pl index b7f6c560e24d..8dd019bc5a73 100755 --- a/scripts/headerdep.pl +++ b/scripts/headerdep.pl | |||
| @@ -80,8 +80,7 @@ sub search { | |||
| 80 | my $path = "$i/$filename"; | 80 | my $path = "$i/$filename"; |
| 81 | return $path if -f $path; | 81 | return $path if -f $path; |
| 82 | } | 82 | } |
| 83 | 83 | return; | |
| 84 | return undef; | ||
| 85 | } | 84 | } |
| 86 | 85 | ||
| 87 | sub parse_all { | 86 | sub parse_all { |