update version for rc1

This commit is contained in:
Ethan Buchman
2017-05-18 12:36:58 +02:00
parent 790e04ed3e
commit d4fa98de68
2 changed files with 7 additions and 13 deletions

View File

@ -19,12 +19,12 @@ DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )"
# Change into that dir because we expect that.
cd "$DIR"
# Generate the tag.
if [ -z "$NOTAG" ]; then
echo "==> Tagging..."
git commit --allow-empty -a -m "Release v$VERSION"
git tag -a -m "Version $VERSION" "v${VERSION}" master
fi
## Generate the tag.
#if [ -z "$NOTAG" ]; then
# echo "==> Tagging..."
# git commit --allow-empty -a -m "Release v$VERSION"
# git tag -a -m "Version $VERSION" "v${VERSION}" master
#fi
# Do a hermetic build inside a Docker container.
docker build -t tendermint/tendermint-builder scripts/tendermint-builder/