diff --git a/base/Makefile b/base/Makefile
deleted file mode 100644
index 20c61fb08..000000000
--- a/base/Makefile
+++ /dev/null
@@ -1,10 +0,0 @@
-DIRS = $(shell find . -type d -depth 1)
-.PHONY: clean dirs $(DIRS)
-
-push: $(DIRS)
-
-$(DIRS):
-	$(MAKE) -C $@
-
-clean:
-	rm -f hash