stubdom: make sure to use old tree for now

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/stubdom/Makefile b/stubdom/Makefile
index b82f6680389b2d270a3e7fc21659c9d78cee427d..4f4240cfd5781d2e25a0bea8b1c7111c692bfe57 100644 (file)
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -3,12 +3,12 @@ MINI_OS = $(XEN_ROOT)/extras/mini-os
 
 export XEN_OS=MiniOS
 
-CONFIG_QEMU=ioemu
-
 export stubdom=y
 export debug=y
 include $(XEN_ROOT)/Config.mk
 
+override CONFIG_QEMU=ioemu
+
 IOEMU_OPTIONS=--disable-sdl --disable-opengl --disable-gfx-check --disable-vnc-tls --disable-brlapi --disable-kqemu
 ZLIB_VERSION=1.2.3
 LIBPCI_VERSION=2.2.9