Paul Eggert wrote: > Compiling these .o files slows down > the build and lengthens the build log slightly. People who read the build > logs > will reasonably wonder "why is a w32 file being compiled on a non-w32 > platform"?
OK, I give in. I've pushed the change. Bruno
