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