diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 01176a625f..f042d1a18f 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -7,7 +7,7 @@ include $(XEN_ROOT)/Config.mk # Set TARGET_ARCH override TARGET_ARCH := $(XEN_TARGET_ARCH) -XEN_INTERFACE_VERSION := 0x00030203 +XEN_INTERFACE_VERSION := 0x00030204 # NB. '-Wcast-qual' is nasty, so I omitted it. CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format |