# HG changeset patch
# User diego
# Date 1212847204 0
# Node ID d0c873ddfaefcfcef5ac5b020937ac697ba69c42
# Parent  cd08a805999864d0f13e0fbb4685ea9f8a7774ed
Only check for VIDIX PCI device name database if VIDIX is enabled.

diff -r cd08a8059998 -r d0c873ddfaef configure
--- a/configure	Sat Jun 07 13:54:49 2008 +0000
+++ b/configure	Sat Jun 07 14:00:04 2008 +0000
@@ -4241,6 +4241,15 @@
     eval _vidix_drv_${driver}=yes
     eval _def_vidix_drv_${driver}=\"\#define CONFIG_VIDIX_DRV_${uc_driver} 1\"
   done
+
+  echocheck "VIDIX PCI device name database"
+  echores "$_vidix_pcidb"
+  if test "$_vidix_pcidb" = yes ; then
+    _vidix_pcidb_val=1
+  else
+    _vidix_pcidb_val=0
+  fi
+
 else
   _novomodules="cvidix $_novomodules"
 fi
@@ -4259,14 +4268,6 @@
   _novomodules="xvidix $_novomodules"
 fi
 
-echocheck "VIDIX PCI device name database"
-echores "$_vidix_pcidb"
-if test "$_vidix_pcidb" = yes ; then
-  _vidix_pcidb_val=1
-else
-  _vidix_pcidb_val=0
-fi
-
 echocheck "/dev/mga_vid"
 if test "$_mga" = auto ; then
   _mga=no