diff options
author | Kris Kennaway <kris@FreeBSD.org> | 2002-08-31 05:46:25 +0000 |
---|---|---|
committer | Kris Kennaway <kris@FreeBSD.org> | 2002-08-31 05:46:25 +0000 |
commit | 8ed01ab91cf51d5eae0adbcf933f137d186a0b20 (patch) | |
tree | 631a126b7fc3e574265b02fed2b3ef360a239278 /Tools/make_index | |
parent | New INDEX with 7523 ports. 7523 is a prime number! (diff) |
Check for duplicate entries in INDEX and warn about them.
Submitted by: Martin Heinen <martin@sumuk.de>
PR: ports/33196 (based on)
Notes
Notes:
svn path=/head/; revision=65355
Diffstat (limited to 'Tools/make_index')
-rw-r--r-- | Tools/make_index | 19 |
1 files changed, 12 insertions, 7 deletions
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'}; + } } |