From 6c2ee6346f4a0bd4ec1fd180f96c133096361a6e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@bento.schottelius.org>
Date: Tue, 9 Jul 2013 18:15:29 +0200
Subject: [PATCH] fix target pub:

Signed-off-by: Nico Schottelius <nico@bento.schottelius.org>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 937d70c7..684675d3 100644
--- a/Makefile
+++ b/Makefile
@@ -204,8 +204,8 @@ $(VERSION_FILE): .git/refs/heads/* .git/refs/tags/* .git/HEAD
 # Pub is Nico's "push to all git remotes" thing
 pub:
 	for remote in "" github sf; do \
-		echo "Pushing to $$remote" \
-		git push --mirror $$remote \
+		echo "Pushing to $$remote"; \
+		git push --mirror $$remote; \
 	done  
 
 git-release: git-tag git-branch-merge