makedepend sometimes produces duplicates. Remove them.

2001-10-10 07:44:54 +00:00 · 2001-10-10 07:44:54 +00:00 · cb40bdaf57
commit cb40bdaf57
parent 4b12506891
1 changed files with 3 additions and 0 deletions
--- a/util/clean-depend.pl
+++ b/util/clean-depend.pl
@ -35,7 +35,10 @@ foreach $file (sort keys %files) {
    my $origfile=$file;
    $origfile=~s/\.o$/.c/;
    push @{$files{$file}},$origfile;
+    my $prevdep="";
    foreach $dep (sort @{$files{$file}}) {
+	next if $prevdep eq $dep; # to exterminate duplicates...
+	$prevdep = $dep;
 	$len=0 if $len+length($dep)+1 >= 80;
 	if($len == 0) {
 	    print "\n$file:";