debuggers.hg

changeset 18170:f0cd9df566ec

stubdom: make sure to use old tree for now

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jul 24 17:36:27 2008 +0100 (2008-07-24)
parents a47b54fadce4
children 804d29cfd083
files stubdom/Makefile
line diff
     1.1 --- a/stubdom/Makefile	Thu Jul 24 17:34:50 2008 +0100
     1.2 +++ b/stubdom/Makefile	Thu Jul 24 17:36:27 2008 +0100
     1.3 @@ -3,12 +3,12 @@ MINI_OS = $(XEN_ROOT)/extras/mini-os
     1.4  
     1.5  export XEN_OS=MiniOS
     1.6  
     1.7 -CONFIG_QEMU=ioemu
     1.8 -
     1.9  export stubdom=y
    1.10  export debug=y
    1.11  include $(XEN_ROOT)/Config.mk
    1.12  
    1.13 +override CONFIG_QEMU=ioemu
    1.14 +
    1.15  IOEMU_OPTIONS=--disable-sdl --disable-opengl --disable-gfx-check --disable-vnc-tls --disable-brlapi --disable-kqemu
    1.16  ZLIB_VERSION=1.2.3
    1.17  LIBPCI_VERSION=2.2.9