# HG changeset patch
# User arpi
# Date 1025292610 0
# Node ID b408ba1e74022a9ced611f6fc8b0060e852ef961
# Parent  bfc209bb3f4851f44b7900865de029ffef6644f3
trivial but nice fix for /dev/video? detection by  "Julian J.M."
<bandit@telecable.es>

diff -r bfc209bb3f48 -r b408ba1e7402 configure
--- a/configure	Fri Jun 28 17:13:18 2002 +0000
+++ b/configure	Fri Jun 28 19:30:10 2002 +0000
@@ -3710,7 +3710,7 @@
 if test "$_tv_v4l" = auto ; then
  _tv_v4l=no
  if test "$_tv" = yes && linux ; then
-  if test -c /dev/video0 || test -c /dev/video ; then
+  if test -c /dev/video? || test -c /dev/video ; then
     cat > $TMPC <<EOF
 #include <stdlib.h>
 #include <linux/videodev.h>