diff options
Diffstat (limited to 'scripts/reference_discarded.pl')
| -rw-r--r-- | scripts/reference_discarded.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/reference_discarded.pl b/scripts/reference_discarded.pl index d694208ef46e..d5cabb81bd1b 100644 --- a/scripts/reference_discarded.pl +++ b/scripts/reference_discarded.pl @@ -90,6 +90,7 @@ foreach $object (keys(%object)) { $from !~ /\.data\.exit$/ && $from !~ /\.exit\.data$/ && $from !~ /\.altinstructions$/ && + $from !~ /\.pdr$/ && $from !~ /\.debug_info$/ && $from !~ /\.debug_aranges$/ && $from !~ /\.debug_ranges$/ && |
