1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 17abb5f7d7..662e31f549 100644
--- a/Makefile
+++ b/Makefile
@@ -83,6 +83,10 @@ endif
 tools/ioemu-dir:
 	$(MAKE) -C tools ioemu-dir-find
 
+.PHONY: tools/ioemu-dir-force-update
+tools/ioemu-dir-force-update:
+	$(MAKE) -C tools ioemu-dir-force-update
+
 .PHONY: install-docs
 install-docs:
 	sh ./docs/check_pkgs && $(MAKE) -C docs install || true