retry build devel

Jenkinsfile

@@ -158,7 +158,7 @@ node {
       // tici tests
       'onroad tests': {
         deviceStage("onroad", "tici-needs-can", ["SKIP_COPY=1"], [
-          ["build master-ci", "cd $SOURCE_DIR/release && TARGET_DIR=$TEST_DIR ./build_devel.sh"],
+          ["build master-ci", "cd $SOURCE_DIR/release && TARGET_DIR=$TEST_DIR scripts/retry.sh ./build_devel.sh"],
           ["build openpilot", "cd selfdrive/manager && ./build.py"],
           ["check dirty", "release/check-dirty.sh"],
           ["onroad tests", "pytest selfdrive/test/test_onroad.py -s"],

release/build_devel.sh

@@ -23,10 +23,8 @@ pre-commit uninstall || true
 echo "[-] bringing master-ci and devel in sync T=$SECONDS"
 cd $TARGET_DIR
 
-source scripts/retry.sh
+git fetch --depth 1 origin master-ci
-
+git fetch --depth 1 origin devel
-retry git fetch --depth 1 origin master-ci
-retry git fetch --depth 1 origin devel
 
 git checkout -f --track origin/master-ci
 git reset --hard master-ci

scripts/retry.sh

@@ -20,4 +20,8 @@ function retry {
       fi
     }
   done
-}
+}
+
+if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
+    retry "$@"
+fi