diff options
Diffstat (limited to 'util/clean-depend.pl')
-rwxr-xr-x | util/clean-depend.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/clean-depend.pl b/util/clean-depend.pl index 15ce8f0959..8e27aaae5e 100755 --- a/util/clean-depend.pl +++ b/util/clean-depend.pl @@ -23,6 +23,8 @@ while(<STDIN>) { @deps=grep(!/^\//,@deps); @deps=grep(!/^\\$/,@deps); @deps=grep(!/^$origfile$/,@deps); +# pull out the kludged kerberos header (if present). + @deps=grep(!/^[.\/]+\/krb5.h/,@deps); push @{$files{$thisfile}},@deps; } |