diff options
author | Lukas Larsson <[email protected]> | 2018-08-15 09:39:01 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2018-08-15 09:39:01 +0200 |
commit | 61231a9266d784f7f014dc79e476253b8586632b (patch) | |
tree | 933be12c8f2cbb72e93b0539868de447d200892c /scripts | |
parent | e5905ee30b7ea62e5b2c4d876a7e1125c0c6ca75 (diff) | |
parent | a0820c62f32ce7ba49a0b90c1af314df99d0eb80 (diff) | |
download | otp-61231a9266d784f7f014dc79e476253b8586632b.tar.gz otp-61231a9266d784f7f014dc79e476253b8586632b.tar.bz2 otp-61231a9266d784f7f014dc79e476253b8586632b.zip |
Merge branch 'maint'
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/bundle-otp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bundle-otp b/scripts/bundle-otp index 0ffe7d8c77..87b3b90a25 100755 --- a/scripts/bundle-otp +++ b/scripts/bundle-otp @@ -22,7 +22,7 @@ for repo in $REPOSITORIES; do git clone https://github.com/erlang/$1 $1 cd $1 echo $1 $2 - TAG=`git tag -l | grep -P "$2" | sort -V | tail -1` + TAG=`git tag -l | grep -v "\-rc" | grep -P "$2" | sort -V | tail -1` git checkout $TAG SHA=`git rev-parse --verify HEAD` rm -rf .git |