diff options
author | Ian Campbell <ian.campbell@xensource.com> | 2007-05-30 13:10:20 +0100 |
---|---|---|
committer | Ian Campbell <ian.campbell@xensource.com> | 2007-05-30 13:10:20 +0100 |
commit | 0055a08a1aa38080c32d05171169ee1a78f02288 (patch) | |
tree | 883b820fdfab1c636d994c665a98859809352b96 /buildconfigs/mk.linux-2.6-xen | |
parent | ca938d8cc6d30f0c99e631e6fb050ce1c921ab08 (diff) | |
download | xen-0055a08a1aa38080c32d05171169ee1a78f02288.tar.gz xen-0055a08a1aa38080c32d05171169ee1a78f02288.tar.bz2 xen-0055a08a1aa38080c32d05171169ee1a78f02288.zip |
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 <ian.campbell@xensource.com>
Diffstat (limited to 'buildconfigs/mk.linux-2.6-xen')
-rw-r--r-- | buildconfigs/mk.linux-2.6-xen | 9 |
1 files changed, 9 insertions, 0 deletions
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 ; \ |