1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure
index 186e535768..36596ba96b 100755
--- a/configure
+++ b/configure
@@ -1708,6 +1708,11 @@ else
     exit 1
 fi
 
+if test "$xen" = "yes" ;
+    then
+    echo "CONFIG_XEN=yes" >> $config_mak
+fi
+
 tools=
 if test `expr "$target_list" : ".*softmmu.*"` != 0 ; then
   tools="qemu-img\$(EXESUF) $tools"