diff -r 4b6e4bb7b7b4 tools/include/xen-foreign/Makefile
--- a/tools/include/xen-foreign/Makefile	Thu Jul 09 08:52:31 2009 +0100
+++ b/tools/include/xen-foreign/Makefile	Thu Jul 09 16:31:36 2009 +0200
@@ -23,13 +23,13 @@ check-headers: checker
 	rm tmp.size
 
 x86_32.h: mkheader.py structs.py $(ROOT)/arch-x86/xen-x86_32.h $(ROOT)/arch-x86/xen.h $(ROOT)/xen.h
-	python $< $* $@ $(filter %.h,$^)
+	$(PYTHON) $< $* $@ $(filter %.h,$^)
 
 x86_64.h: mkheader.py structs.py $(ROOT)/arch-x86/xen-x86_64.h $(ROOT)/arch-x86/xen.h $(ROOT)/xen.h
-	python $< $* $@ $(filter %.h,$^)
+	$(PYTHON) $< $* $@ $(filter %.h,$^)
 
 ia64.h: mkheader.py structs.py $(ROOT)/arch-ia64.h $(ROOT)/xen.h
-	python $< $* $@ $(filter %.h,$^)
+	$(PYTHON) $< $* $@ $(filter %.h,$^)
 
 checker.c: mkchecker.py structs.py
-	python $< $@ $(architectures)
+	$(PYTHON) $< $@ $(architectures)