changeset 9653:d82ee11f70f5

enable dvbin with dvbhead or old-dvb support, bug noticed by nsabbi@libero.it>
author alex
date Sat, 22 Mar 2003 19:15:23 +0000
parents 29e8a936428d
children ee7203b48e7c
files configure
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Mar 22 17:35:26 2003 +0000
+++ b/configure	Sat Mar 22 19:15:23 2003 +0000
@@ -2941,6 +2941,11 @@
   _vomodules="mpegpes(file) $_vomodules"
 fi
 
+if test "$_dvb" = yes || test "$_dvbhead" = yes ; then
+    _dvbin=yes
+else
+    _dvbin=no
+fi
 
 echocheck "PNG support"
 if test "$_png" = auto ; then
@@ -5005,7 +5010,7 @@
 STREAMING = $_streaming
 STREAMING_LIVE_DOT_COM = $_live
 STREAMING_LIB = $_ld_streaming $_ld_live
-DVBIN = $_dvb
+DVBIN = $_dvbin
 VIDIX = $_vidix
 SHARED_PP = $_shared_pp
 CONFIG_PP = yes