ia64/xen-unstable

changeset 15242:a1626e972148

Make header mismatch checking more robust against build time changes in
xen/include/public/foreign.

Unfortunately diff's -x and -X options do not support excluding paths just
individual files so we have to list unqualified filenames. This is ok for now
since there are no filename clashes.

Signed-off-by: Ian Campbell <ian.campbell@xensource.com>
author Ian Campbell <ian.campbell@xensource.com>
date Wed May 30 17:37:58 2007 +0100 (2007-05-30)
parents 96a59a5ae656
children ae073ca6eb76
files buildconfigs/interface.exclude buildconfigs/mk.linux-2.6-xen
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/buildconfigs/interface.exclude	Wed May 30 17:37:58 2007 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +*.size
     1.5 +*.pyc
     1.6 +checker
     1.7 +checker.c
     1.8 +ia64.h
     1.9 +x86_32.h
    1.10 +x86_64.h
     2.1 --- a/buildconfigs/mk.linux-2.6-xen	Wed May 30 17:01:26 2007 +0100
     2.2 +++ b/buildconfigs/mk.linux-2.6-xen	Wed May 30 17:37:58 2007 +0100
     2.3 @@ -28,7 +28,8 @@ include buildconfigs/src.$(XEN_LINUX_SOU
     2.4  .PHONY: build
     2.5  build: $(LINUX_DIR)/include/linux/autoconf.h
     2.6  ifneq ($(XEN_LINUX_ALLOW_INTERFACE_MISMATCH),y)
     2.7 -	@if ! diff -urN -x '*.size' $(LINUX_SRCDIR)/include/xen/interface xen/include/public ; then \
     2.8 +	@if ! diff -urN -X buildconfigs/interface.exclude \
     2.9 +              $(LINUX_SRCDIR)/include/xen/interface xen/include/public ; then \
    2.10  		echo "" 1>&2 ; \
    2.11  		echo " *** $(LINUX_SRCDIR)/include/xen/interface is out of date " 1>&2 ; \
    2.12  		echo " *** relative to $(XEN_ROOT)/xen/include/public." 1>&2 ; \