diff --git a/Build/AtlasBuildScripts/checkout_Gaudi.sh b/Build/AtlasBuildScripts/checkout_Gaudi.sh index a536cf4c3b6273dc7f665607b3edd27c644cf613..ec642ae9103ac4922f522afbf7f193dea3f81406 100755 --- a/Build/AtlasBuildScripts/checkout_Gaudi.sh +++ b/Build/AtlasBuildScripts/checkout_Gaudi.sh @@ -20,6 +20,22 @@ usage() { echo " -e url: Optional source URL to use for the checkout" } +_max_retry_=5 + +_retry_ () { + local cmd="$*" + local n=0 + while ! $cmd ; do + if test $n -eq $_max_retry_ ; then + echo "ERROR: $cmd FAILED $_max_retry_ times. EXIT(1)" >&2 + exit 1 + fi + echo "WARNING: $cmd FAILED, retry in 30 sec ... " + sleep 30s + n=`expr $n + 1` + done +} + # Parse the command line arguments: TAGBRANCH="" SOURCEDIR="" @@ -65,12 +81,12 @@ echo " from: $GAUDIURL" if [ ! -d "${SOURCEDIR}" ]; then # Clone the repository: - git clone ${GAUDIURL} ${SOURCEDIR} + _retry_ git clone ${GAUDIURL} ${SOURCEDIR} else echo "${SOURCEDIR} already exists -> assume previous checkout" fi # Get the appropriate version of it: cd ${SOURCEDIR} -git fetch --prune origin -git checkout -f ${TAGBRANCH} +_retry_ git fetch --prune origin +_retry_ git checkout -f ${TAGBRANCH} diff --git a/Build/AtlasBuildScripts/checkout_atlasexternals.sh b/Build/AtlasBuildScripts/checkout_atlasexternals.sh index 792cec61510b2ddf348b46c223474f50ecf1b332..2fa694b02b7ca9aa474f138556147a8baf55d291 100755 --- a/Build/AtlasBuildScripts/checkout_atlasexternals.sh +++ b/Build/AtlasBuildScripts/checkout_atlasexternals.sh @@ -20,6 +20,22 @@ usage() { echo " -e url: Optional source URL to use for the checkout" } +_max_retry_=5 + +_retry_ () { + local cmd="$*" + local n=0 + while ! $cmd ; do + if test $n -eq $_max_retry_ ; then + echo "ERROR: $cmd FAILED $_max_retry_ times. EXIT(1)" >&2 + exit 1 + fi + echo "WARNING: $cmd FAILED, retry in 30 sec ... " + sleep 30s + n=`expr $n + 1` + done +} + # Parse the command line arguments: TAGBRANCH="" SOURCEDIR="" @@ -65,12 +81,12 @@ echo " from: $EXTERNALSURL" if [ ! -d "${SOURCEDIR}" ]; then # Clone the repository: - git clone ${EXTERNALSURL} ${SOURCEDIR} + _retry_ git clone ${EXTERNALSURL} ${SOURCEDIR} else echo "${SOURCEDIR} already exists -> assume previous checkout" fi # Get the appropriate version of it: cd ${SOURCEDIR} -git fetch --prune origin -git checkout -f ${TAGBRANCH} +_retry_ git fetch --prune origin +_retry_ git checkout -f ${TAGBRANCH} diff --git a/Simulation/G4Sim/FADS/FadsKinematics/cmt/Makefile b/Simulation/G4Sim/FADS/FadsKinematics/cmt/Makefile old mode 100644 new mode 100755