diff options
| author | Anil Madhavapeddy <anil@xensource.com> | 2006-08-31 12:07:46 +0100 |
|---|---|---|
| committer | Anil Madhavapeddy <anil@xensource.com> | 2006-08-31 12:07:46 +0100 |
| commit | 80cc11a16f32a56a7813c527b54afa32ea549325 (patch) | |
| tree | b6a50cc9963ace5f16fa40e348764a1d922704f0 /extras/mini-os/Makefile | |
| parent | 1a1adcfe49f607f2967157b80fe2f626377a0ff4 (diff) | |
| download | xen-80cc11a16f32a56a7813c527b54afa32ea549325.tar.gz xen-80cc11a16f32a56a7813c527b54afa32ea549325.tar.bz2 xen-80cc11a16f32a56a7813c527b54afa32ea549325.zip | |
[MINIOS] Declare a __XEN_INTERFACE_VERSION__ to fix the build
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__ |