# HG changeset patch
# User diego
# Date 1249317115 0
# Node ID 47808d1fca5adcac664e6652d4981ebd2ce32f98
# Parent  8a6f2cda5f12b552d7f941830dd61c87d6315dd9
Only #include stream/dvbin.h when DVB is enabled.
dvbin.h #includes some system DVB headers that may be unavailable.
Fixes compilation with DVB disabled.

diff -r 8a6f2cda5f12 -r 47808d1fca5a mplayer.c
--- a/mplayer.c	Mon Aug 03 13:51:33 2009 +0000
+++ b/mplayer.c	Mon Aug 03 16:31:55 2009 +0000
@@ -100,7 +100,9 @@
 
 #include "stream/tv.h"
 #include "stream/stream_radio.h"
+#ifdef CONFIG_DVBIN
 #include "stream/dvbin.h"
+#endif
 #include "stream/cache2.h"
 
 //**************************************************************************//