diff options
-rwxr-xr-x | scripts/recordmcount.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/recordmcount.pl b/scripts/recordmcount.pl index 7109e2b5bc0a..16c5563b4129 100755 --- a/scripts/recordmcount.pl +++ b/scripts/recordmcount.pl | |||
@@ -414,7 +414,7 @@ while (<IN>) { | |||
414 | $read_function = 0; | 414 | $read_function = 0; |
415 | } else { | 415 | } else { |
416 | # if we already have a function, and this is weak, skip it | 416 | # if we already have a function, and this is weak, skip it |
417 | if (!defined($ref_func) || !defined($weak{$text})) { | 417 | if (!defined($ref_func) && !defined($weak{$text})) { |
418 | $ref_func = $text; | 418 | $ref_func = $text; |
419 | } | 419 | } |
420 | } | 420 | } |