Sigh. I'm an idiot. I just realized that in fact I was testing this bug against make 3.78.1, not make 3.79.1, and it appears that the bug is already fixed in 3.79.1.
Please disregard the bug report. Doh! Jonathan Kamens _______________________________________________ Bug-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-make