diff options
Diffstat (limited to 'build/mkdep.awk')
| -rw-r--r-- | build/mkdep.awk | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/build/mkdep.awk b/build/mkdep.awk index c1adefe612..eae800c863 100644 --- a/build/mkdep.awk +++ b/build/mkdep.awk @@ -35,16 +35,16 @@ } dif=i-1 - + for (; i <= NF; i++) filenames[i-dif]=$i - + no_files=NF-dif - + for(i = 1; i <= no_files; i++) { if (system("test -r " filenames[i]) != 0) continue - + target=filenames[i] sub(srcdir "/", "", target) target2=target @@ -53,7 +53,7 @@ for (e in used) delete used[e] - + cmdx=cmd " " filenames[i] done=0 while ((cmdx | getline) > 0) { @@ -66,10 +66,10 @@ done=1 printf(" \\\n\t" substr($3,2,length($3)-2)) used[$3] = 1; - } + } } } if (done == 1) print "\n" } -} +} |