diff --git a/configure/tools/munch.pl b/configure/tools/munch.pl index cd7d9464e..cd3010607 100755 --- a/configure/tools/munch.pl +++ b/configure/tools/munch.pl @@ -18,18 +18,16 @@ eval 'exec perl -S $0 ${1+"$@"}' # -*- Mode: perl -*- while ($line = ) { - chomp $line; + chomp $line; next if ($line =~ /__?GLOBAL_.F.+/); next if ($line =~ /__?GLOBAL_.I._GLOBAL_.D.+/); if ($line =~ /__?GLOBAL_.D.+/) { ($adr,$type,$name) = split ' ',$line,3; - chop $name; $name =~ s/^__/_/; @dtorlist = (@dtorlist,$name); }; if ($line =~ /__?GLOBAL_.I.+/) { ($adr,$type,$name) = split ' ',$line,3; - chop $name; $name =~ s/^__/_/; @ctorlist = (@ctorlist,$name); };