comparison configure @ 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 3c74e2d21b17
children 0dd456513950
comparison
equal deleted inserted replaced
9652:29e8a936428d 9653:d82ee11f70f5
2939 _def_dvb_in='#undef HAS_DVBIN_SUPPORT ' 2939 _def_dvb_in='#undef HAS_DVBIN_SUPPORT '
2940 _aomodules="mpegpes(file) $_aomodules" 2940 _aomodules="mpegpes(file) $_aomodules"
2941 _vomodules="mpegpes(file) $_vomodules" 2941 _vomodules="mpegpes(file) $_vomodules"
2942 fi 2942 fi
2943 2943
2944 if test "$_dvb" = yes || test "$_dvbhead" = yes ; then
2945 _dvbin=yes
2946 else
2947 _dvbin=no
2948 fi
2944 2949
2945 echocheck "PNG support" 2950 echocheck "PNG support"
2946 if test "$_png" = auto ; then 2951 if test "$_png" = auto ; then
2947 _png=no 2952 _png=no
2948 if irix ; then 2953 if irix ; then
5003 $_live_libs_def 5008 $_live_libs_def
5004 5009
5005 STREAMING = $_streaming 5010 STREAMING = $_streaming
5006 STREAMING_LIVE_DOT_COM = $_live 5011 STREAMING_LIVE_DOT_COM = $_live
5007 STREAMING_LIB = $_ld_streaming $_ld_live 5012 STREAMING_LIB = $_ld_streaming $_ld_live
5008 DVBIN = $_dvb 5013 DVBIN = $_dvbin
5009 VIDIX = $_vidix 5014 VIDIX = $_vidix
5010 SHARED_PP = $_shared_pp 5015 SHARED_PP = $_shared_pp
5011 CONFIG_PP = yes 5016 CONFIG_PP = yes
5012 CONFIG_RISKY = yes 5017 CONFIG_RISKY = yes
5013 LIBMENU = $_menu 5018 LIBMENU = $_menu