diff --git a/Makefile b/Makefile
index 47a1f4a3a4570c9e5de9b965690cb3802b77e482..0905417c3c30bcd2d12d53be680f69930608910e 100644
--- a/Makefile
+++ b/Makefile
@@ -2,8 +2,10 @@ all:
 	$(MAKE) -C 42.3
 	$(MAKE) -C 15.0
 	$(MAKE) -C 15.1
+	$(MAKE) -C 15.2
 
 push:
 	$(MAKE) -C 42.3 push
 	$(MAKE) -C 15.0 push
 	$(MAKE) -C 15.1 push
+	$(MAKE) -C 15.2 push