diff --git a/scripts/reference_discarded.pl b/scripts/reference_discarded.pl index 44b8722da0ea3ff925d94171721e0e466fc8ed1b..f04f6273685161dc45c98e11f8d1065660ca0a0f 100644 --- a/scripts/reference_discarded.pl +++ b/scripts/reference_discarded.pl @@ -82,8 +82,6 @@ foreach $object (keys(%object)) { } if (($line =~ /\.text\.exit$/ || $line =~ /\.exit\.text$/ || - $line =~ /\.text\.init$/ || - $line =~ /\.init\.text$/ || $line =~ /\.data\.exit$/ || $line =~ /\.exit\.data$/ || $line =~ /\.exitcall\.exit$/) &&