# HG changeset patch # User arpi # Date 1041593657 0 # Node ID 9032b2e794802b03b8c933c7ad6f0446254d184e # Parent 561aa9c850f7ad77efd19d2a7f0b42dbe91118de useless lines removed :) thx to Thanks Matthias & Steffen Barszus diff -r 561aa9c850f7 -r 9032b2e79480 configure --- a/configure Fri Jan 03 05:10:44 2003 +0000 +++ b/configure Fri Jan 03 11:34:17 2003 +0000 @@ -2714,7 +2714,6 @@ echocheck "DVB" if test "$_dvb" != no ; then _dvb=no - test -c /dev/ost/video && _dvb=yes cat >$TMPC << EOF #include #include @@ -2755,7 +2754,6 @@ echocheck "DVB HEAD" if test "$_dvbhead" != no ; then _dvbhead=no - test -c /dev/dvb/adapter0/video0 && _dvbhead=yes cat >$TMPC << EOF #include