diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2020-09-22 16:04:35 +0000 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-09-23 15:20:53 +0000 |
| commit | 1aa63b83f90487db5a4fb9953d284f796801608f (patch) | |
| tree | 5851abc7061bd23107ffb2be54b1142bdad026ab | |
| parent | 73903d7e8a6141237637b2011386c7ee6ac969ee (diff) | |
build: allow for rc3/rc4 style tags
Historically, there was only rc1/rc2 tags, fix in case we tag
rc3/rc4 during longer release windows.
Type: fix
Change-Id: I4243a1c03663a877f96a06d647e89adb74abd977
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
(cherry picked from commit bc31247c921d9bad94f2d4aeca9041aee518e7a6)
| -rwxr-xr-x | src/scripts/version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/version b/src/scripts/version index 7e7711637cb..455ab760352 100755 --- a/src/scripts/version +++ b/src/scripts/version @@ -36,7 +36,7 @@ if [ -z "${POINT}" ]; then # verify that we are not: # - directly on the XX.YY tag (then ADD will equal "0" by its construction) # - not on any of the builds past "-rc[123]" but before releases - then ADD will be "rc[123]" - if [ "${ADD}" != "0" -a "${ADD}" != "rc0" -a "${ADD}" != "rc1" -a "${ADD}" != "rc2" ]; then + if [ "${ADD}" != "0" -a "${ADD}" != "rc0" -a "${ADD}" != "rc1" -a "${ADD}" != "rc2" -a "${ADD}" != "rc3" -a "${ADD}" != "rc4" ]; then TAG="${TAG}.0" fi fi |