From 446a50be5c1adb98119e6f116a89f3b7216553a5 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 4 Aug 2017 10:54:47 +0200
Subject: [PATCH] Failure recover for jenkins checkout failure
---
Jenkinsfile_numerics | 34 ++++++++++++++++++++++++++++++++--
1 file changed, 32 insertions(+), 2 deletions(-)
diff --git a/Jenkinsfile_numerics b/Jenkinsfile_numerics
index c6469bace..fc198d452 100644
--- a/Jenkinsfile_numerics
+++ b/Jenkinsfile_numerics
@@ -6,7 +6,22 @@ parallel (
"gin" : {node ('gin')
{
deleteDir()
- checkout scm
+
+ int ntry = 5
+ while (ntry != 0)
+ {
+ try {
+ checkout scm
+ ntry = 0
+ }
+ catch (IOException e)
+ {
+ ntry--
+ sleep(50)
+ }
+ }
+
+
stage ('build_gin')
{
sh "./build.sh $WORKSPACE $NODE_NAME numerics"
@@ -32,7 +47,22 @@ parallel (
{
deleteDir()
env.PATH = "/usr/local/bin:${env.PATH}"
- checkout scm
+
+ int ntry = 5
+ while (ntry != 0)
+ {
+ try {
+ checkout scm
+ ntry = 0
+ }
+ catch (IOException e)
+ {
+ ntry--
+ sleep(50)
+ }
+ }
+
+
stage ('build_sb15')
{
sh "./build.sh $WORKSPACE $NODE_NAME numerics"
--
GitLab