retry docker build

Jenkinsfile

@@ -89,20 +89,22 @@ def pcStage(String stageName, Closure body) {
     checkout scm
 
     def dockerArgs = "--user=batman -v /tmp/comma_download_cache:/tmp/comma_download_cache -v /tmp/scons_cache:/tmp/scons_cache -e PYTHONPATH=${env.WORKSPACE}";
-    docker.build("openpilot-base:build-${env.GIT_COMMIT}", "-f Dockerfile.openpilot_base .").inside(dockerArgs) {
+    retry (3) {
-      timeout(time: 20, unit: 'MINUTES') {
+      docker.build("openpilot-base:build-${env.GIT_COMMIT}", "-f Dockerfile.openpilot_base .").inside(dockerArgs) {
-        try {
+        timeout(time: 20, unit: 'MINUTES') {
-          // TODO: remove these after all jenkins jobs are running as batman (merged with master)
+          try {
-          sh "sudo chown -R batman:batman /tmp/scons_cache"
+            // TODO: remove these after all jenkins jobs are running as batman (merged with master)
-          sh "sudo chown -R batman:batman /tmp/comma_download_cache"
+            sh "sudo chown -R batman:batman /tmp/scons_cache"
-
+            sh "sudo chown -R batman:batman /tmp/comma_download_cache"
-          sh "git config --global --add safe.directory '*'"
+
-          sh "git submodule update --init --recursive"
+            sh "git config --global --add safe.directory '*'"
-          sh "git lfs pull"
+            sh "git submodule update --init --recursive"
-          body()
+            sh "git lfs pull"
-        } finally {
+            body()
-          sh "rm -rf ${env.WORKSPACE}/* || true"
+          } finally {
-          sh "rm -rf .* || true"
+            sh "rm -rf ${env.WORKSPACE}/* || true"
+            sh "rm -rf .* || true"
+          }
         }
       }
     }