This is an instance of make PR/1696; see the bug report for a patch.
http://www-gnats.gnu.org:8080/cgi-bin/wwwgnats.pl/full/1696
I will be releasing a minor update of GNU make fairly shortly to address
this and a couple of other problems.
HTH.
--
-------------------------------------------------------------------------------
Paul D. Smith <[EMAIL PROTECTED]> Find some GNU make tips at:
http://www.gnu.org http://www.ultranet.com/~pauld/gmake/
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist
