Skip to content
Browse files

Update new version script (#1922)

  • Loading branch information...
jackgerrits authored and JohnLangford committed Jun 6, 2019
1 parent 312a699 commit b0273d08598474465e1c195c3a21b47dfdc0dd84
Showing with 20 additions and 23 deletions.
  1. +20 −23 utl/new_version
@@ -1,27 +1,24 @@
#set internal version number in before tagging.
set -e
set -x

#to install eclint on ubuntu:
#sudo apt-get purge nodejs npm
#curl -sL | sudo bash -
#sudo apt-get install -y nodejs
#sudo apt-get install npm
#sudo npm install -g eclint
if [ "$#" -ne 1 ]; then
echo "Must supply version number: $0 new_version_number"
exit 1

#find -regextype posix-extended -regex '.*\.(cc|h|cpp)' | xargs eclint fix
#find -regextype posix-extended -regex '.*\.(cc|h|cpp)' | grep -v vw_clr | xargs
# Clean working directory
git clean -fd .
git checkout -- .

#git checkout master
#git pull
#git branch style
#git checkout style
#astyle -s2 --style=allman --lineend=linux --keep-one-line-blocks --keep-one-line-statements vowpalwabbit/*.cc
#git commit -a -m "consistent indentation with astyle (before releasing $1)"
#git push origin style
#git branch -d style
git branch $1
git checkout $1
# Run clang-format and commit
./utl/clang-format fix
git commit -a -m "Fix style with clang-format (before releasing $1)"

# Update version number and commit
echo "$1" > version.txt
git commit -a -m "Update verson.txt for release $1"

# Tag release commit and push
git tag $1
git checkout master
git branch -D $1
git push --tags
git push origin $1

0 comments on commit b0273d0

Please sign in to comment.
You can’t perform that action at this time.