diff options
Diffstat (limited to 'scripts/reference_discarded.pl')
| -rw-r--r-- | scripts/reference_discarded.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/reference_discarded.pl b/scripts/reference_discarded.pl index 8f80364fc280..d694208ef46e 100644 --- a/scripts/reference_discarded.pl +++ b/scripts/reference_discarded.pl @@ -62,7 +62,7 @@ foreach $object (keys(%object)) { $l = read(OBJECT, $comment, $size); die "read $size bytes from $object .comment failed" if ($l != $size); close(OBJECT); - if ($comment =~ /GCC\:.*GCC\:/m) { + if ($comment =~ /GCC\:.*GCC\:/m || $object =~ /built-in\.o/) { ++$ignore; delete($object{$object}); } |