https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121259
--- Comment #8 from Arsen Arsenović <arsen at gcc dot gnu.org> --- (In reply to Arsen Arsenović from comment #7) > should that perhaps be use_gcc_stdint=provide ? is there a standard library > that would be providing it for the GCC targets? bleh, I mean BPF targets, of course.