diff options
| -rw-r--r-- | scripts/reference_discarded.pl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/reference_discarded.pl b/scripts/reference_discarded.pl index 44b8722..f04f627 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$/) && |