From 8b48db3da008828a364b6c96bafc6846afa96ca9 Mon Sep 17 00:00:00 2001 From: "Janet B. Anderson" Date: Wed, 21 Feb 2001 15:28:16 +0000 Subject: [PATCH] Removed filter to remove names starting with . or .. --- configure/tools/munch.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/configure/tools/munch.pl b/configure/tools/munch.pl index 9b78d7405..203b7e2eb 100755 --- a/configure/tools/munch.pl +++ b/configure/tools/munch.pl @@ -13,14 +13,12 @@ while ($line = ) ($adr,$type,$name) = split ' ',$line,3; chop $name; $name =~ s/^__/_/; - next if ( $name =~ /^__?GLOBAL_.D.\.\./ ); @dtorlist = (@dtorlist,$name); }; if ($line =~ /__?GLOBAL_.I.+/) { ($adr,$type,$name) = split ' ',$line,3; chop $name; $name =~ s/^__/_/; - next if ( $name =~ /^__?GLOBAL_.I.\.\./ ); @ctorlist = (@ctorlist,$name); }; }