* `*.gcroot' files can now containing multiple roots.

This commit is contained in:
Eelco Dolstra 2004-04-14 08:09:27 +00:00
parent a4d2b22c8c
commit b275f2ed3b

View file

@ -26,11 +26,15 @@ foreach my $link (@links) {
$link = $linkdir . "/" . $link; $link = $linkdir . "/" . $link;
next if (!($link =~ /.gcroot$/)); next if (!($link =~ /.gcroot$/));
open ROOT, "<$link" or die "cannot open $link: $!"; open ROOT, "<$link" or die "cannot open $link: $!";
my $root = <ROOT>; while (<ROOT>) {
chomp $root; chomp;
close ROOT; foreach my $root (split ' ') {
die "bad root `$root' in file `$link'" unless $root =~ /^\S+$/;
push @roots, $root; push @roots, $root;
} }
}
close ROOT;
}
my $extraarg = ""; my $extraarg = "";
if ($keepsuccessors) { $extraarg = "--include-successors"; }; if ($keepsuccessors) { $extraarg = "--include-successors"; };