Follow-up Comment #4, bug #20501 (project make): I'm sorry, I missed that! I think you're right; it is a bug.
_______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?20501> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make