Follow-up Comment #3, bug #62575 (project make): Just to clarify: Stephan is running make with the -O option. It may have escaped your notice Gisle. Any testing of the problem reported needs to use that option as well, or you won't see the issue I'm sure.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62575>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
