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
9
10
11
12
13
14
15
16

/^# [0-9][0-9]* /{
	file = $3;

	gsub(/^"/, "", file);
	gsub(/"$/, "", file);

	destfile = file;
	if (!gsub(/^.*\/include\//, "", destfile)) {
		if (!gsub(/^.*\/include-fixed\//, "", destfile)) {
			next
		}
	}

	if (file ~ /</) {
		next;
	}

|

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)) {
		if (!gsub(/^.*\/include-fixed\//, "fix/", destfile)) {
			next
		}
	}

	if (file ~ /</) {
		next;
	}