1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
/^# [0-9][0-9]* /{
file = $3;
gsub(/^"/, "", file);
gsub(/"$/, "", file);
while(sub(/\/\/*[^\/]*\/\.\.\/\/*/, "/", file)) {}
destfile = file;
if (!gsub(/^.*\/gcc\/.*\/include\//, "gcc/", destfile)) {
if (!gsub(/^.*\/include\//, "", destfile)) {
if (!gsub(/^.*\/include-fixed\//, "fix/", destfile)) {
next
if (!gsub(/^.*\/include-fixed\//, "", destfile)) {
next;
}
}
}
if (file ~ /</) {
next;
}
if (file !~ /\.h$/) {
next;
}
count = 0;
origdestfile = destfile;
while (destfiles[destfile]) {
if (destfiles[destfile] == file) {
break;
}
destfile = count "/" origdestfile;
count++;
}
destfiles[destfile] = file;
copy[file] = destfile;
}
END{
for (key in copy) {
print key, copy[key];
}
|