From 0055a08a1aa38080c32d05171169ee1a78f02288 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Wed, 30 May 2007 13:10:20 +0100 Subject: Check for mismatch between headers shared by Linux and Xen. This is only enabled for the linux-2.6-xen tree and is intended to ensure that the separate Linux tree stays up to date once we switch away from the sparse tree. Signed-off-by: Ian Campbell --- buildconfigs/mk.linux-2.6-xen | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'buildconfigs/mk.linux-2.6-xen') diff --git a/buildconfigs/mk.linux-2.6-xen b/buildconfigs/mk.linux-2.6-xen index afd56b1397..a0e4fa89f1 100644 --- a/buildconfigs/mk.linux-2.6-xen +++ b/buildconfigs/mk.linux-2.6-xen @@ -27,6 +27,15 @@ include buildconfigs/src.$(XEN_LINUX_SOURCE) # The real action starts here! .PHONY: build build: $(LINUX_DIR)/include/linux/autoconf.h +ifneq ($(XEN_LINUX_ALLOW_INTERFACE_MISMATCH),y) + @if ! diff -urN -x '*.size' $(LINUX_SRCDIR)/include/xen/interface xen/include/public ; then \ + echo "" 1>&2 ; \ + echo " *** $(LINUX_SRCDIR)/include/xen/interface is out of date " 1>&2 ; \ + echo " *** relative to $(XEN_ROOT)/xen/include/public." 1>&2 ; \ + echo "" 1>&2 ; \ + exit 1 ; \ + fi +endif if grep "^CONFIG_MODULES=" $(LINUX_DIR)/.config ; then \ $(MAKE) -C $(LINUX_DIR) ARCH=$(LINUX_ARCH) modules ; \ $(MAKE) -C $(LINUX_DIR) ARCH=$(LINUX_ARCH) INSTALL_MOD_PATH=$(DESTDIR) modules_install ; \ -- cgit v1.2.3