default values for jenkins environment variables

to avoid unnecessary errors when running outside jenkins
parent 711b56b0
......@@ -36,6 +36,8 @@ MINOR=${VERSION##*.} # 1 or 0-rc1
MINOR=${MINOR%%-*} # 1 or 0
RELEASE=${VERSION#*-} # 5.2.1 or rc1
RELEASE=${RELEASE#$VERSION} # '' or rc1
BUILD_NUMBER=${BUILD_NUMBER:-none}
BUILD_ID=${BUILD_ID:-none}
# Take version override set on Jenkins builds into account.
if [ -n "${WEEKLY_VERSION:-}" ]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment