1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/^# [0-9][0-9]* /{
file = $3;
gsub(/^"/, "", file);
gsub(/"$/, "", file);
destfile = file;
if (!gsub(/^.*\/include\//, "", destfile)) {
if (!gsub(/^.*\/include-fixed\//, "fix/", destfile)) {
next
}
}
if (file ~ /</) {
next;
}
|
>
|
|
|
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/^# [0-9][0-9]* /{
file = $3;
gsub(/^"/, "", file);
gsub(/"$/, "", file);
destfile = file;
if (!gsub(/^.*\/gcc\/.*\/include\//, "gcc/", destfile)) {
if (!gsub(/^.*\/include\//, "", destfile)) {
if (!gsub(/^.*\/include-fixed\//, "fix/", destfile)) {
next
}
}
}
if (file ~ /</) {
next;
}
|