From cfde872b5daf38c2be7f09277ea42b4950db81c9 Mon Sep 17 00:00:00 2001 From: Juan Quintela Date: Mon, 27 Jul 2009 16:12:54 +0200 Subject: [PATCH] fix indententation Signed-off-by: Juan Quintela Signed-off-by: Anthony Liguori --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/configure b/configure index deb62aff00..3c5fb6ecc7 100755 --- a/configure +++ b/configure @@ -1797,9 +1797,8 @@ else exit 1 fi -if test "$xen" = "yes" ; - then - echo "CONFIG_XEN=y" >> $config_host_mak +if test "$xen" = "yes" ; then + echo "CONFIG_XEN=y" >> $config_host_mak fi tools=