diff options
| author |   Andrew Yourtchenko <ayourtch@gmail.com> | 2020-09-22 16:04:35 +0000 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-09-22 17:38:26 +0000 |
| commit | bc31247c921d9bad94f2d4aeca9041aee518e7a6 (patch) | |
| tree | 5265e803d6e424000d76bbe779c52c48f373564c /src | |
| parent | 2b202bc4b2d870d76bfe6fb1906ae62e253cec72 (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>
Diffstat (limited to 'src')
| -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 |