%% Pavel Pleva <[EMAIL PROTECTED]> writes:

  pp> I've downloaded the newest gnumake sources.

GNU make 3.80 is not the latest version.  Please get GNU make 3.81,
which fixes this problem (among many others).

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <[EMAIL PROTECTED]>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.paulandlesley.org
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist


_______________________________________________
Make-w32 mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/make-w32

Reply via email to