/* Copy over .GCC.command.line section under the same name if present. */
else if (strcmp (name, ".GCC.command.line") == 0)
return strcpy (newname, name);
+ /* Copy over .ctf section under the same name if present. */
+ else if (strcmp (name, ".ctf") == 0)
+ return strcpy (newname, name);
free (newname);
return NULL;
}