# HG changeset patch
# User Anil Madhavapeddy <anil@xensource.com>
# Date 1157022466 -3600
# Node ID 1c3455182cee5db602c59afbe6b6eaa47aa41c9f
# Parent  11626efd003c5c080bf9622fee0f1c3da508086a
[MINIOS] Declare a __XEN_INTERFACE_VERSION__ to fix the build


diff -r 11626efd003c -r 1c3455182cee extras/mini-os/Makefile
--- a/extras/mini-os/Makefile	Thu Aug 31 03:05:40 2006 +0100
+++ b/extras/mini-os/Makefile	Thu Aug 31 12:07:46 2006 +0100
@@ -7,9 +7,12 @@ include $(XEN_ROOT)/Config.mk
 # Set TARGET_ARCH
 override TARGET_ARCH     := $(XEN_TARGET_ARCH)
 
+XEN_INTERFACE_VERSION := 0x00030203
+
 # NB. '-Wcast-qual' is nasty, so I omitted it.
 CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format
 CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline
+CFLAGS += -D__XEN_INTERFACE_VERSION__=$(XEN_INTERFACE_VERSION)
 
 ASFLAGS = -D__ASSEMBLY__