diff -r 323ae92f774b stubdom/Makefile
--- a/stubdom/Makefile	Wed Jul 15 09:14:19 2009 +0100
+++ b/stubdom/Makefile	Wed Jul 15 10:48:34 2009 +0200
@@ -211,7 +211,7 @@ cross-ocaml: $(OCAML_STAMPFILE)
 $(CROSS_ROOT): cross-newlib cross-zlib cross-libpci
 
 $(XEN_ROOT)/tools/ioemu-dir:
-	make -C $(XEN_ROOT)/tools ioemu-dir-find
+	$(MAKE) -C $(XEN_ROOT)/tools ioemu-dir-find
 
 ioemu/linkfarm.stamp: $(XEN_ROOT)/tools/ioemu-dir
 	mkdir -p ioemu