From dbaf62769e1bfa7636208a4f00ea2331f5c40685 Mon Sep 17 00:00:00 2001
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Wed, 27 Jun 2012 12:49:50 +0000
Subject: [PATCH] Fix backport error introduced by
 f1cf76785270ebc9798c82ad5f7419129bde7e56

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---
 configure | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index 2f6520cbf..ea2f8f835 100755
--- a/configure
+++ b/configure
@@ -1331,8 +1331,7 @@ int main(void) {
   return 0;
 }
 EOF
-      compile_prog "" "$xen_libs"
-    ) ; then
+  if compile_prog "" "$xen_libs" ; then
     xen_ctrl_version=420
     xen=yes
 
@@ -1355,7 +1354,8 @@ int main(void) {
   return 0;
 }
 EOF
-  if compile_prog "" "$xen_libs" ; then
+      compile_prog "" "$xen_libs"
+    ) ; then
     xen_ctrl_version=410
     xen=yes
 
-- 
2.39.5