mkconfig fix by Colin

diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
index 02a455eca35652e660ff4e102a0fcb6a2f6c7c18..abeebf6b9cf9e534d2fea9e972bf6ea7e5ad0f34 100644 (file)
--- a/util/grub-mkconfig.in
+++ b/util/grub-mkconfig.in
@@ -282,7 +282,7 @@ for i in "${grub_mkconfig_dir}"/* ; do
                  echo "### BEGIN $i ($platform) ###"
                  case x$platform in
                      xx86)
-                         echo "if [ x\"\$grub_platform\" != xxen \\(  x\"\$grub_cpu\" = xi386 -o x\"\$grub_cpu\" = xx86_64 -o x\"\$grub_platform\" = x \\) ]; then" ;;
+                         echo "if [ x\"\$grub_platform\" != xxen -a \\(  x\"\$grub_cpu\" = xi386 -o x\"\$grub_cpu\" = xx86_64 -o x\"\$grub_platform\" = x \\) ]; then" ;;
                      xi386-xen-pae)
                          echo "if [ x\"\$grub_cpu-\$grub_platform\" = xi386-xen -o x\"\$grub_cpu-\$grub_platform\" = x- ]; then" ;;
                      xx86_64-xen)