Follow-up Comment #3, bug #15818 (project make):
Yes, the patch indeed fixes the problem.
Thanks for the fast reply!
Another problem appeared, but I will report this in another bug.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=15818>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
