Follow-up Comment #4, bug #63248 (project make): Make should not pass the ignore to children; if it does that's a bug in make and should be reported.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63248>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
