Re: GNUMach 1.x fixed (autoconf+kb)

[Jeff Bailey]

Marco, thanks for posting the patch on Savannah.  I did this work before
as part of the automake'ifying, so I'll compare it against what I have
and also test a bootstrap with it.

It'll take me a couple of days.

An initial comment is that:

 AC_ARG_ENABLE(kmsg,
 [  --enable-kmsg            enable use of kmsg device [default=yes]],

Should be updated to look like

 AC_ARG_ENABLE([kmsg],
        AC_HELP_STRING([--enable-kmsg],
                [enable use of kmsg device [default=yes]], ...

Also, I think the _LOCAL functions may have to be preserved to permit
bootstrapping.  GCC faced the same problem, so they may have gotten the
fixes into upstream autoconf.

Tks,
Jeff Bailey