Overview
| Comment: | Updated to normalize file pathnames |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
c75ccc535c7d689ac93402308eb0268f |
| User & Date: | rkeene on 2014-05-06 06:05:06.076 |
| Other Links: | manifest | tags |
Context
|
2014-05-06
| ||
| 06:06 | Updated to normalize correctly check-in: af00e9d27e user: rkeene tags: trunk | |
| 06:05 | Updated to normalize file pathnames check-in: c75ccc535c user: rkeene tags: trunk | |
| 04:45 | tcc4tcl 0.5 check-in: c5e8988c75 user: rkeene tags: trunk, 0.5 | |
Changes
Modified headers.awk
from [b5faccf87a]
to [d6d1f90c6d].
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
}
|
| ︙ | ︙ |