https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111664
Sam James <sjames at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |kito at gcc dot gnu.org, | |sjames at gcc dot gnu.org --- Comment #1 from Sam James <sjames at gcc dot gnu.org> --- It's a gawk vs mawk issue, see https://inbox.sourceware.org/gcc-patches/20231002080244.105205-1-kito.ch...@sifive.com/T/#u for a patch.