diff -r 18058ab5c037 tools/libxl/Makefile
--- a/tools/libxl/Makefile	Thu Aug 26 17:05:47 2010 +0200
+++ b/tools/libxl/Makefile	Thu Aug 26 17:14:02 2010 +0200
@@ -69,7 +69,7 @@ libxl.h: _libxl_types.h
 $(LIBXL_OBJS:%.o=%.c) $(LIBXLU_OBJS:%.o=%.c) $(XL_OBJS:%.o=%.c): libxl.h
 
 _libxl_types.h _libxl_types.c: libxl.idl gentypes.py libxltypes.py
-	python gentypes.py libxl.idl __libxl_types.h __libxl_types.c
+	$(PYTHON) gentypes.py libxl.idl __libxl_types.h __libxl_types.c
 	mv __libxl_types.h _libxl_types.h
 	mv __libxl_types.c _libxl_types.c