tools/include: propagate python interpreter path

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é <roger.pau@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>

diff --git a/tools/include/Makefile b/tools/include/Makefile
index d69381005362a30fd47f913b2e8a63281c4e9785..71538e1ce2c3a02e22711ea8f50cc51c17f1ab60 100644 (file)
--- 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.