https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101391
--- Comment #6 from Gaius Mulley <gaius at gcc dot gnu.org> --- Comment on attachment 51457 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51457 Additonal patch providing cgetopt_* All done - thanks for the patch and apologies for the delay in applying.