mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
By default allow differences between Xen and XenLinux public headers.
Signed-off-by: Keir Fraser <keir@xensource.com>
This commit is contained in:
Keir Fraser committed
1 parent
4706b975b0
commit
9ba645fd7d
1 file changed
+5
@@ -28,6 +28,11 @@ _build: build
|
||||
|
||||
include buildconfigs/src.$(XEN_LINUX_SOURCE)
|
||||
|
||||
# Default to allowing interface mismatch
|
||||
ifndef XEN_LINUX_ALLOW_INTERFACE_MISMATCH
|
||||
XEN_LINUX_ALLOW_INTERFACE_MISMATCH := y
|
||||
endif
|
||||
|
||||
# The real action starts here!
|
||||
.PHONY: build
|
||||
build: $(LINUX_DIR)/include/linux/autoconf.h
|
||||
|
||||