diff --git a/tools/Makefile b/tools/Makefile
new file mode 100644
--- /dev/null
+++ b/tools/Makefile
@@ -0,0 +1,2 @@
+all:
+	$(MAKE) -C ..