diff options
-rw-r--r-- | tools/include/xen-foreign/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/include/xen-foreign/Makefile b/tools/include/xen-foreign/Makefile index f770cf4de5..77a535f4d0 100644 --- a/tools/include/xen-foreign/Makefile +++ b/tools/include/xen-foreign/Makefile @@ -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) |