diff --git a/[refs] b/[refs] index 0a5b7f279227..8cbc3343d255 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 33bc25eae40c100238a5abe8472cef0cd40226f1 +refs/heads/master: c5f75eca120de6587e67a1951ce3e6912e2c6879 diff --git a/trunk/scripts/reference_discarded.pl b/trunk/scripts/reference_discarded.pl index 44b8722da0ea..f04f62736851 100644 --- a/trunk/scripts/reference_discarded.pl +++ b/trunk/scripts/reference_discarded.pl @@ -82,8 +82,6 @@ } if (($line =~ /\.text\.exit$/ || $line =~ /\.exit\.text$/ || - $line =~ /\.text\.init$/ || - $line =~ /\.init\.text$/ || $line =~ /\.data\.exit$/ || $line =~ /\.exit\.data$/ || $line =~ /\.exitcall\.exit$/) &&