mirror of
https://github.com/php/php-src.git
synced 2026-04-27 18:23:26 +02:00
Sascha Schumann
52 lines
960 B
Awk
52 lines
960 B
Awk
{
|
|
top_srcdir=$1
|
|
top_builddir=$2
|
|
srcdir=$3
|
|
cmd=$4
|
|
|
|
for (i = 5; i <= NF; i++) {
|
|
if (match($i, "^-[A-Z]") == 0)
|
|
break;
|
|
cmd=cmd " " $i
|
|
}
|
|
|
|
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
|
|
sub("\.(c|cpp)$", ".lo", target);
|
|
sub("\.(c|cpp)$", ".slo", target2);
|
|
|
|
for (e in used)
|
|
delete used[e]
|
|
|
|
cmdx=cmd " " filenames[i]
|
|
done=0
|
|
while ((cmdx | getline) > 0) {
|
|
if (match($0, "^# [0-9]* \".*\.h\"") != 0) {
|
|
sub(top_srcdir, "$(top_srcdir)", $3)
|
|
sub(top_builddir, "$(top_builddir)", $3)
|
|
if (substr($3,2,1) != "/" && used[$3] != 1) {
|
|
if (done == 0)
|
|
printf("%s", target " " target2 ":")
|
|
done=1
|
|
printf("%s", " \\\n\t" substr($3,2,length($3)-2))
|
|
used[$3] = 1;
|
|
}
|
|
}
|
|
}
|
|
if (done == 1)
|
|
printf("\n\n")
|
|
}
|
|
}
|