enable dvbin with dvbhead or old-dvb support, bug noticed by nsabbi@libero.it>

git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@9654 b3059339-0415-0410-9bf9-f77b7e298cf2

1 files changed, 6 insertions, 1 deletions

diff --git a/configure b/configure
index 3d4a463477..1aeae1a219 100755
--- a/configure
+++ b/configure
@@ -2941,6 +2941,11 @@ if test "$_dvbhead" = no && test "$_dvb" = no ; then
   _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 @@ $_live_libs_def
 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