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.

Reply via email to