Try to build QEMU without Xen support

diff --git a/qemu-configure-rune b/qemu-configure-rune
index 29f1326709885f76e17570e359081d7262acde27..414de323ff4f7d3c0119579c5d8dbe220e568935 100755 (executable)
--- a/qemu-configure-rune
+++ b/qemu-configure-rune
@@ -3,7 +3,7 @@ export PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config
  --disable-linux-user \
  --cc=/local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-cc.configure \
  --static --cxx=false \
- --enable-xen --target-list=i386-softmmu \
+ --target-list=i386-softmmu \
                 --enable-debug --enable-trace-backend=stderr \
                 --prefix=/local/scratch/Rump-kernels/prefix-qemu \
                 --libdir=/local/scratch/Rump-kernels/prefix-qemu/lib \