makedepend sometimes produces duplicates. Remove them.

1 files changed, 3 insertions, 0 deletions

diff --git a/util/clean-depend.pl b/util/clean-depend.pl
index 8e27aaae5..322bfcc58 100755
--- 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:";