https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109188
--- Comment #12 from Jan Dubiec <jdx at o2 dot pl> --- Yes, there is such a snippet in gcc/Makefile.in but I have completely no idea what you mean.
jdx at o2 dot pl via Gcc-bugs Sun, 19 Mar 2023 21:13:19 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109188
--- Comment #12 from Jan Dubiec <jdx at o2 dot pl> --- Yes, there is such a snippet in gcc/Makefile.in but I have completely no idea what you mean.