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

Christoph Egger Christoph_Egger at gmx.de
Sat Apr 30 18:14:53 CEST 2005


> 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.

Can you guide me on this, please?
I'm only familiar with autoconf generated configure scripts.


> Diego
> 
> _______________________________________________
> MPlayer-dev-eng mailing list
> MPlayer-dev-eng at mplayerhq.hu
> http://mplayerhq.hu/mailman/listinfo/mplayer-dev-eng
> 

-- 
Greetings,

Christoph

+++ Sparen beginnt mit GMX DSL: http://www.gmx.net/de/go/dsl




More information about the MPlayer-dev-eng mailing list