File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -372,10 +372,12 @@ def getServerVersion() {
372372 RAW_VERSION_LINK=$(echo ${GIT_REPO_LINK%.git} | sed -e "s:github.com:raw.githubusercontent.com:g")
373373 REPLY=$(curl -Is ${RAW_VERSION_LINK}/${BRANCH}/MYSQL_VERSION | head -n 1 | awk '{print $2}')
374374 if [[ ${REPLY} != 200 ]]; then
375- curl ${RAW_VERSION_LINK}/${BRANCH}/ VERSION -o ${WORKSPACE}/VERSION-${BUILD_NUMBER}
375+ VERSION_FILE= VERSION
376376 else
377- curl ${RAW_VERSION_LINK}/${BRANCH}/ MYSQL_VERSION -o ${WORKSPACE}/VERSION-${BUILD_NUMBER}
377+ VERSION_FILE= MYSQL_VERSION
378378 fi
379+ curl --fail ${RAW_VERSION_LINK}/${BRANCH}/${VERSION_FILE} -o ${WORKSPACE}/VERSION-${BUILD_NUMBER} || \
380+ { echo "Failed to download MYSQL_VERSION file"; exit 1; }
379381 '''
380382 } // withCredentials
381383
@@ -749,7 +751,7 @@ pipeline {
749751 script {
750752 // Set ccache size as environment variable
751753 env. CCACHE_MAXSIZE = CCACHE_MAXSIZE
752-
754+
753755 // Set BUILD_PARAMS_TYPE based on ANALYZER_OPTS
754756 if (env. ANALYZER_OPTS ) {
755757 if (env. ANALYZER_OPTS . contains(' ASAN' )) {
You can’t perform that action at this time.
0 commit comments