# HG changeset patch
# User alex
# Date 1048266983 0
# Node ID 328744aee223b3b4edab5490c3dcd2e747e2acc7
# Parent  5a087f79270ab147feef629951955298dbb8be8c
dvbin detection fixed, noticed by nsabbi@libero.it

diff -r 5a087f79270a -r 328744aee223 configure
--- 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