Browse files

Search existing value of XEN_HEADERS for Xen headers

This allows a caller to specify a specific location for the Xen
headers.  For example, from a version of Xen just built in a
neighbouring directory.

(Without this it is not possible to build against a specific Xen
without being able to overwrite system header areas.)

If XEN_HEADERS is unset, or not suitable, use the existing search

Signed-off-by: Ian Jackson <>
1 parent ad23d14 commit 3104392cc1073e1a30d9c8baf5d44a9e162e816e @ijackson-citrix ijackson-citrix committed with ijackson-citrix May 26, 2016
Showing with 1 addition and 1 deletion.
  1. +1 −1
@@ -229,7 +229,7 @@ probeprereqs ()
. "${RROBJ}/"
# probe location of Xen headers
- for loc in /usr/pkg/include/xen /usr/include/xen; do
+ for loc in ${XEN_HEADERS:-} /usr/pkg/include/xen /usr/include/xen; do
if printf '#include <stdint.h>\n#include <xen.h>\n'\
| ${CC} -I${loc} -x c - -c -o /dev/null \
>/dev/null 2>&1 ; then

0 comments on commit 3104392

Please sign in to comment.