Hi, Unfortunately, the patch applied does not change the observed behaviour. Indeed, we had applied this patch already (you provided it as a fix to an earlier report we had). I apologize for not mentioning this earlier; Debian's make is 3.79.1+patches you have mentioned in various reports; and thus we are not running a vanilla make. This does make it harder to debug the behaviour the reporter experiences, and I apologize for making the process harder.
I guess we can wait a week or two and try out the new version. I am attaching gzipped diffs from vanilla make, in case these are helpful. Thanks for your consideration, and apologies again for not mentioning this is not a vanilla make. manoj
difference.bz2
Description: Differences from vanilla make-3.79.1 and Debians make
-- "The student in question is performing minimally for his peer group and is an emerging underachiever." Manoj Srivastava <[EMAIL PROTECTED]> <http://www.debian.org/%7Esrivasta/> 1024R/C7261095 print CB D9 F4 12 68 07 E4 05 CC 2D 27 12 1D F5 E8 6E 1024D/BF24424C print 4966 F272 D093 B493 410B 924B 21BA DABB BF24 424C