aboutsummaryrefslogtreecommitdiff
path: root/makerelease.sh
blob: 86b0d88e6eb984cfe10acc192e0078eb9d525637 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/sh

VERSION="$1"
if [ "$VERSION" = "" -o "$2" != "" ]; then
  echo "Usage: makerelese.sh VERSION"
  exit 1
fi

git rev-parse || exit 1
if [ "$( git tag -l "$VERSION" )" != "" ]; then
  echo "There's already a $VERSION tag, did you forget to update VERSION in the Makefile?"
  exit 1
fi

git tag -a -m"Version $VERSION release." "$VERSION"
git push