diff -r 7750906b06b3 Makefile
--- a/Makefile	Wed Sep 24 10:23:51 2008 +0100
+++ b/Makefile	Wed Sep 24 13:33:52 2008 +0200
@@ -79,7 +79,7 @@ endif
 endif
 
 tools/ioemu-dir:
-	make -C tools ioemu-dir-find
+	$(MAKE) -C tools ioemu-dir-find
 
 .PHONY: install-docs
 install-docs: