Paul LAURENT <[EMAIL PROTECTED]> writes:

> As far as I am concerned, I systematically reproduce the problem.

Yes, make 3.80 has this bug and I can systematically reproduce it as
well. Make from CVS appears to have this bug fix. I also suspect that
the latest beta (3.81beta3) has this fixed as well.

hth,
-boris

Attachment: signature.asc
Description: Digital signature

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

Reply via email to