Config.mk: Make it possible to override XEN_HEADERS

This makes it possible to build against a checked out and built but
not installed xen tree, etc.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/Config.mk b/Config.mk
index 22cded305872c05e20507834c35c19ad77f1675e..8ba9b444ce1e39788cfef246d72d7a84c306d64a 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -1,7 +1,7 @@
 # Useful config stuff
 
 # Where to find xen headers from.  XXX: this can probably be done better
-XEN_HEADERS= /usr/include/xen
+XEN_HEADERS ?= /usr/include/xen
 
 # from Xen/Config.mk
 XEN_COMPILE_ARCH    ?= $(shell uname -m | sed -e s/i.86/x86_32/ \