If no BUILD_NUMBER is set, assume developer build and set to 99.99.99.0

This commit is contained in:
Alexander Schulz 2018-07-07 00:26:39 +02:00
parent 021f388f36
commit bda5685fa3

View File

@ -95,8 +95,8 @@ BRANDING_ADDITIONAL_FEATURES=""
#######################################################################
if [ -z "$BUILD_NUMBER" ]; then
echo "Need to set BUILD_NUMBER"
exit 1
echo "No BUILD_NUMBER set, assume developer build: set BUILD_NUMBER to 99.99.99.0"
BUILD_NUMBER=99.99.99.0
fi