>>> "Bob" == Bob Friesenhahn <[EMAIL PROTECTED]> writes:
[...] Bob> Apparently when automake is executed to generate Makefile.in, some Bob> saved information is OS-dependent. That is bad. I'd love a diff between those two different Makefile.in, then. [...] -- Alexandre Duret-Lutz
