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 44b8722da0ea..f04f62736851 100644 --- a/scripts/reference_discarded.pl +++ b/scripts/reference_discarded.pl | |||
| @@ -82,8 +82,6 @@ foreach $object (keys(%object)) { | |||
| 82 | } | 82 | } |
| 83 | if (($line =~ /\.text\.exit$/ || | 83 | if (($line =~ /\.text\.exit$/ || |
| 84 | $line =~ /\.exit\.text$/ || | 84 | $line =~ /\.exit\.text$/ || |
| 85 | $line =~ /\.text\.init$/ || | ||
| 86 | $line =~ /\.init\.text$/ || | ||
| 87 | $line =~ /\.data\.exit$/ || | 85 | $line =~ /\.data\.exit$/ || |
| 88 | $line =~ /\.exit\.data$/ || | 86 | $line =~ /\.exit\.data$/ || |
| 89 | $line =~ /\.exitcall\.exit$/) && | 87 | $line =~ /\.exitcall\.exit$/) && |