Fix backport error introduced by f1cf76785270ebc9798c82ad5f7419129bde7e56

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/configure b/configure
index 2f6520cbffb583c095ae65b9a88c44daa71969ac..ea2f8f8357230c41dce3a540c132ac390353c4ed 100755 (executable)
--- 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