https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114542
--- Comment #3 from Heiko Eißfeldt <heiko at hexco dot de> --- FYI: the GNUmake bug seems to be fixed now.
heiko at hexco dot de via Gcc-bugs Wed, 04 Dec 2024 00:53:49 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114542
--- Comment #3 from Heiko Eißfeldt <heiko at hexco dot de> --- FYI: the GNUmake bug seems to be fixed now.