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