]> xenbits.xensource.com Git - osstest/rumprun.git/commit
Search existing value of XEN_HEADERS for Xen headers
authorIan Jackson <ian.jackson@eu.citrix.com>
Thu, 26 May 2016 15:14:05 +0000 (16:14 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 7 Oct 2016 17:38:41 +0000 (18:38 +0100)
commit3104392cc1073e1a30d9c8baf5d44a9e162e816e
tree77d363604ef50524bc07ef77f8053d307f45f741
parentad23d14e0fb512faf5381acd0855b86cddb824e4
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
strategy.

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