Re: building without gtk

[Tom Tromey]

Mark> No --enable-gtk-peer has been the default since a long time. People
Mark> don't want a broken AWT by default. If you really cannot update your
Mark> gtk+ installation you will have to configure with --disable-gtk-peer.

Oops, sorry.

Mark> Maybe the above error message can be improved to mention this?

Yes, it is traditional (and useful) for the help message to mention
the non-default argument.  So in this case it would be
`--disable-gtk-peer'.  I looked at this before sending email; should
have looked at the source I suppose.

Tom