gnumach-INSTALL file out of date

[VicenteHA]

Hi!

INSTALL file which comes with gnumach cvs sources says:

    Some systems require unusual options for compilation or linking that
the `configure' script does not know about.  You can give `configure'
initial values for variables by setting them in the environment.  Using
a Bourne-compatible shell, you can do that on the command line like
this:
     CC=c89 CFLAGS=-O2 LIBS=-lposix ./configure


If you use CC=c89 option it gets an error at 385 line at file
kern/sched_prim.c

     static inline void __attribute__((noreturn))

That is becouse inline isnt supported by c89.

Supresing CC=c89 setting makes compiler use my default 2.95 gcc and it
compiles without errors.

___