On Mon, 19 Mar 2007, Paul Smith wrote: > This seems like a very useful additional feature. > > Can you please add this patch to the Savannah project for GNU make, so > we don't lose track of it? > > https://savannah.gnu.org/patch/?func=additem&group=make
Now done. https://savannah.gnu.org/patch/index.php?5809 -- Joseph S. Myers [EMAIL PROTECTED] _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make
