epics/epics-base
0
0
Fork 0
Code Issues Pull Requests Projects Wiki Activity

Added filter to remove names starting with . or ..

Browse Source
This commit is contained in:
Janet B. Anderson
2001-02-13 17:13:22 +00:00
parent f1ada22570
commit 6ccd369d90
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
configure/tools/munch.pl
View File

@@ -13,12 +13,14 @@ while ($line = <STDIN>)
($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);
};
}