Diff

Differences From Artifact [ea9e38a74d]:

To Artifact [b5faccf87a]:


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