# HG changeset patch
# User alex
# Date 1060821385 0
# Node ID a4fb8d7831de843c8c5b0aa1135be4ea32701d7d
# Parent  57b5e42f6a353613d23656b2629464e01a00848e
warning fix

diff -r 57b5e42f6a35 -r a4fb8d7831de mplayer.c
--- a/mplayer.c	Wed Aug 13 21:32:28 2003 +0000
+++ b/mplayer.c	Thu Aug 14 00:36:25 2003 +0000
@@ -1329,7 +1329,9 @@
 }
 
 //============ Open DEMUXERS --- DETECT file type =======================
+#ifdef HAS_DVBIN_SUPPORT
 goto_open_demuxer:
+#endif
 current_module="demux_open";
 
 demuxer=demux_open(stream,file_format,audio_id,video_id,dvdsub_id,filename);