diff options
-rw-r--r-- | jenkinsfiles/UB18_Check.groovy | 37 |
1 files changed, 21 insertions, 16 deletions
diff --git a/jenkinsfiles/UB18_Check.groovy b/jenkinsfiles/UB18_Check.groovy index 47d8db793c3f..154795c708cb 100644 --- a/jenkinsfiles/UB18_Check.groovy +++ b/jenkinsfiles/UB18_Check.groovy @@ -197,20 +197,25 @@ pipeline { stage('Setting_Env') { steps { - script { - try { - sh script: """ - bash /export/users/oneDPL_CI/generate_env_file.sh ${env.OneAPI_Package_Date} - if [ ! -f ./envs_tobe_loaded.txt ]; then - echo "Environment file not generated." - exit -1 - fi - """, label: "Generate environment vars" - } - catch (e) { - build_ok = false - fail_stage = fail_stage + " " + "Setting_Env" - sh script: "exit -1", label: "Set failure" + timeout(time: 20) { + script { + try { + retry(2) { + sh script: """ + bash /export/users/oneDPL_CI/generate_env_file.sh ${env.OneAPI_Package_Date} + if [ ! -f ./envs_tobe_loaded.txt ]; then + echo "Environment file not generated." + exit -1 + fi + """, label: "Generate environment vars" + } + + } + catch (e) { + build_ok = false + fail_stage = fail_stage + " " + "Setting_Env" + sh script: "exit -1", label: "Set failure" + } } } } @@ -239,7 +244,7 @@ pipeline { sh script: """ exit -1 """ - + } } } @@ -270,7 +275,7 @@ pipeline { sh script: """ exit -1 """ - + } } } |