From 6ccd369d905990540e32cd8cfaac014cb6d80994 Mon Sep 17 00:00:00 2001 From: "Janet B. Anderson" Date: Tue, 13 Feb 2001 17:13:22 +0000 Subject: [PATCH] Added filter to remove names starting with . or .. --- configure/tools/munch.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/configure/tools/munch.pl b/configure/tools/munch.pl index 203b7e2eb..9b78d7405 100755 --- a/configure/tools/munch.pl +++ b/configure/tools/munch.pl @@ -13,12 +13,14 @@ 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); }; }