diff options
Diffstat (limited to 'buildconfigs')
| -rw-r--r-- | buildconfigs/interface.exclude | 7 | ||||
| -rw-r--r-- | buildconfigs/mk.linux-2.6-xen | 3 |
2 files changed, 9 insertions, 1 deletions
diff --git a/buildconfigs/interface.exclude b/buildconfigs/interface.exclude new file mode 100644 index 0000000000..1df89a5f99 --- /dev/null +++ b/buildconfigs/interface.exclude @@ -0,0 +1,7 @@ +*.size +*.pyc +checker +checker.c +ia64.h +x86_32.h +x86_64.h diff --git a/buildconfigs/mk.linux-2.6-xen b/buildconfigs/mk.linux-2.6-xen index a0e4fa89f1..678a770600 100644 --- a/buildconfigs/mk.linux-2.6-xen +++ b/buildconfigs/mk.linux-2.6-xen @@ -28,7 +28,8 @@ include buildconfigs/src.$(XEN_LINUX_SOURCE) .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 \ + @if ! diff -urN -X buildconfigs/interface.exclude \ + $(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 ; \ |