# HG changeset patch
# User alex
# Date 1048360523 0
# Node ID d82ee11f70f5ff260371cbdaf6d78b038e702487
# Parent  29e8a936428dc6c2fc6b4d788806399953e1f5cc
enable dvbin with dvbhead or old-dvb support, bug noticed by nsabbi@libero.it>

diff -r 29e8a936428d -r d82ee11f70f5 configure
--- 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