diff --git a/Makefile b/Makefile
index 61fc0ca5e..87f5cabd0 100644
--- a/Makefile
+++ b/Makefile
@@ -59,18 +59,21 @@ ci:
 	$(MAKE)
 	$(MAKE) install
 	$(MAKE) -C test all
+	$(MAKE) -C pkg tag
 
 ci-tag:
 	$(MAKE) clean
 	$(MAKE)
 	$(MAKE) install
 	$(MAKE) -C test all
+	$(MAKE) -C pkg tag
 
 ci-pr:
 	$(MAKE) clean
 	$(MAKE)
 	$(MAKE) install
 	$(MAKE) -C test pr
+	$(MAKE) -C pkg tag
 
 .PHONY: clean
 clean:
diff --git a/pkg/Makefile b/pkg/Makefile
index 20c61fb08..81ed81bce 100644
--- a/pkg/Makefile
+++ b/pkg/Makefile
@@ -1,10 +1,10 @@
 DIRS = $(shell find . -type d -depth 1)
 .PHONY: clean dirs $(DIRS)
 
-push: $(DIRS)
+push:
+	@set -e; for d in $(DIRS); do make -C "$$d"; done
 
-$(DIRS):
-	$(MAKE) -C $@
+tag:
+	@set -e; for d in $(DIRS); do make -C "$$d" tag; done
 
-clean:
-	rm -f hash
+clean: ;