On Fri, 2012-01-13 at 21:02 +0100, Sebastian Pipping wrote:
> how do we proceed?

I wasn't sure if the latest patch (patch 5?) you posted incorporated all
the latest comments from myself and Eli.  I'll take another look.

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <psm...@gnu.org>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.net
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist


_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to