This is PR/1696 in the GNU make bug database. A patch is included in
the resolution (essentially the same fix you used).
You can find info on accessing the GNU make bug database in the README
in the GNU make distribution.
Thanks for the report!
--
-------------------------------------------------------------------------------
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
