diff --git a/tools/Makefile b/tools/Makefile
index 69fefef647..5be02fa8b4 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -58,7 +58,7 @@ check_clean:
 ifndef XEN_NO_IOEMU
 ioemu ioemuinstall ioemuclean:
 	[ -f ioemu/config-host.h ] || \
-	(cd ioemu; ./configure --prefix=usr)
+	(cd ioemu; sh ./configure --prefix=usr)
 	$(MAKE) -C ioemu $(patsubst ioemu%,%,$@)
 else
 ioemu ioemuinstall ioemuclean: