Hello Ralf.

I can confirm that this failures happen also with Solaris 10 make (both 
with /usr/ccs/bin/make and /usr/xpg4/bin/make).  I think it's a good 
reason to apply your fix.  WDYT?

Regards,
    Stefano


Reply via email to