changeset 9637:328744aee223

dvbin detection fixed, noticed by nsabbi@libero.it
author alex
date Fri, 21 Mar 2003 17:16:23 +0000
parents 5a087f79270a
children 872b8d422a05
files configure
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Fri Mar 21 16:56:23 2003 +0000
+++ b/configure	Fri Mar 21 17:16:23 2003 +0000
@@ -5006,6 +5006,7 @@
 STREAMING = $_streaming
 STREAMING_LIVE_DOT_COM = $_live
 STREAMING_LIB = $_ld_streaming $_ld_live
+DVBIN = $_dvb
 VIDIX = $_vidix
 SHARED_PP = $_shared_pp
 CONFIG_PP = yes