[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