remove whitespace
Signed-off-by: Nico Schottelius <nico@bento.schottelius.org>
This commit is contained in:
parent
edaae74d47
commit
55402fa3cf
1 changed files with 19 additions and 12 deletions
21
Makefile
21
Makefile
|
@ -201,13 +201,6 @@ git-checkout-current:
|
|||
$(VERSION_FILE): .git/refs/heads/* .git/refs/tags/* .git/HEAD
|
||||
echo "VERSION = \"$$(git describe)\"" > $@
|
||||
|
||||
# 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; \
|
||||
done
|
||||
|
||||
git-release: git-tag git-branch-merge
|
||||
make pub
|
||||
|
||||
|
@ -283,3 +276,17 @@ distclean:
|
|||
# Archlinux
|
||||
rm -f cdist-*.pkg.tar.xz cdist-*.tar.gz
|
||||
rm -rf pkg/ src/
|
||||
|
||||
################################################################################
|
||||
# Misc
|
||||
#
|
||||
|
||||
# The pub is Nico's "push to all git remotes" way ("make pub")
|
||||
pub:
|
||||
for remote in "" github sf; do \
|
||||
echo "Pushing to $$remote"; \
|
||||
git push --mirror $$remote; \
|
||||
done
|
||||
|
||||
test:
|
||||
$(helper) $@
|
||||
|
|
Loading…
Reference in a new issue