[MPlayer-dev-eng] [PATCH] GGI driver update

[Diego Biurrun]

On Sat, Apr 30, 2005 at 11:39:17AM +0200, Christoph Egger wrote:
> 
> ---------------------------------------
> If libggi has been found, search for the libggiwmh extension
> w/o relying on it.
> ---------------------------------------

I just quickly reviewed the configure part.  You're adding a new check,
you should add --enable and --disable options for it as well and allow
the check to be forced with --enable.

Diego