On Tue, 2009-01-20 at 18:53 +0000, David Wuertele wrote: > I posted this to the developer list but got no response. Looks like there's > been no activity on that list since October. Is it dead? Anyway, here's the > bug report:
Which list do you mean by the developer list? It's helpful if you find a bug to report it via Savannah: https://savannah.gnu.org/projects/make/ The code you refer to has been changed in CVS but it looks like this bug is still there. I also have some changes locally to gain memory efficiency which might or might not impact it. Thanks for the report! _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make
