To the Makefile that generates the cpuid policy. Without this fix if
the tools python interpreter is different than the default 'python' it
won't be correctly propagated.

Signed-off-by: Roger Pau MonnĂ© <[email protected]>
---
Cc: Ian Jackson <[email protected]>
Cc: Wei Liu <[email protected]>
---
 tools/include/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/include/Makefile b/tools/include/Makefile
index d693810053..71538e1ce2 100644
--- a/tools/include/Makefile
+++ b/tools/include/Makefile
@@ -32,7 +32,7 @@ endif
        touch $@
 
 all-$(CONFIG_X86): xen/.dir
-       $(MAKE) -C xen/lib/x86 all XEN_ROOT=$(XEN_ROOT)
+       $(MAKE) -C xen/lib/x86 all XEN_ROOT=$(XEN_ROOT) PYTHON=$(PYTHON)
 
 # Not xen/xsm as that clashes with link to
 # $(XEN_ROOT)/xen/include/public/xsm above.
-- 
2.17.2 (Apple Git-113)


_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to