diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 281ae07198..9bc4eb37f9 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -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__ |