diff options
Diffstat (limited to 'tools/Make.defs')
| -rw-r--r-- | tools/Make.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Make.defs b/tools/Make.defs index 1b4d4fec7f..7f40cfef6a 100644 --- a/tools/Make.defs +++ b/tools/Make.defs @@ -1,5 +1,5 @@ # -*- mode: Makefile; -*- -XEN_HYPERVISOR_IFS = $(XEN_ROOT)/xen/include/hypervisor-ifs +XEN_HYPERVISOR_IFS = $(XEN_ROOT)/xen/include/public XEN_LINUX_INCLUDE = $(XEN_ROOT)/linux-xen-sparse/include XEN_XC = $(XEN_ROOT)/tools/python/xen/lowlevel/xc XEN_LIBXC = $(XEN_ROOT)/tools/libxc |