Differences From Artifact [4c335dbe1b]:
- File headers.awk — part of check-in [0a6b909b1f] at 2014-05-02 05:34:45 on branch trunk — Updated to install required basic headers (user: rkeene, size: 360) [annotate] [blame] [check-ins using]
To Artifact [ea9e38a74d]:
- File headers.awk — part of check-in [d3f22e0fb0] at 2014-05-02 07:16:09 on branch trunk — Updated to move GCC fixed headers into a fix directory (user: rkeene, size: 364) [annotate] [blame] [check-ins using] [more...]
1 2 3 4 5 6 7 8 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | - + |
/^# [0-9][0-9]* /{
file = $3;
gsub(/^"/, "", file);
gsub(/"$/, "", file);
destfile = file;
if (!gsub(/^.*\/include\//, "", destfile)) {
|
| ︙ |