From 8ed01ab91cf51d5eae0adbcf933f137d186a0b20 Mon Sep 17 00:00:00 2001 From: Kris Kennaway Date: Sat, 31 Aug 2002 05:46:25 +0000 Subject: Check for duplicate entries in INDEX and warn about them. Submitted by: Martin Heinen PR: ports/33196 (based on) --- Tools/make_index | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) (limited to 'Tools') diff --git a/Tools/make_index b/Tools/make_index index f2ba2895aa8f..3708e94928db 100644 --- a/Tools/make_index +++ b/Tools/make_index @@ -114,11 +114,16 @@ foreach $name (keys %index) { # With all that done we're finally ready to write out the new # INDEX file one port at a time. foreach $name (@names) { - my $pkg = $index{$name}; - recurse($pkg); - print "$pkg->{text}|"; - print join(' ', sort(@{$pkg->{bdep}})) if @{$pkg->{bdep}}; - print "|"; - print join(' ', sort(@{$pkg->{rdep}})) if @{$pkg->{rdep}}; - print "|$pkg->{rest}\n"; + my $pkg = $index{$name}; + if (exists $pkg->{'PRINTED'}) { + print STDERR "Warning: Duplicate INDEX entry: $name\n"; + } else { + recurse($pkg); + print "$pkg->{text}|"; + print join(' ', sort(@{$pkg->{bdep}})) if @{$pkg->{bdep}}; + print "|"; + print join(' ', sort(@{$pkg->{rdep}})) if @{$pkg->{rdep}}; + print "|$pkg->{rest}\n"; + ++$pkg->{'PRINTED'}; + } } -- cgit v1.2.3