Diff

Differences From Artifact [4c335dbe1b]:

To Artifact [ea9e38a74d]:


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