fix target pub:

Signed-off-by: Nico Schottelius <nico@bento.schottelius.org>
This commit is contained in:
Nico Schottelius 2013-07-09 18:15:29 +02:00
parent db717ab660
commit 6c2ee6346f

View file

@ -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 is Nico's "push to all git remotes" thing
pub: pub:
for remote in "" github sf; do \ for remote in "" github sf; do \
echo "Pushing to $$remote" \ echo "Pushing to $$remote"; \
git push --mirror $$remote \ git push --mirror $$remote; \
done done
git-release: git-tag git-branch-merge git-release: git-tag git-branch-merge