jenkins: retry clang-tidy step, max of 3 runs

2018-10-15 15:12:38 -04:00 · 2018-10-15 15:12:38 -04:00 · 906559d8cf
parent ad8539bd15
commit 906559d8cf
1 changed files with 4 additions and 2 deletions
--- a/6
+++ b/6
@ -132,8 +132,10 @@ pipeline {
          }
          steps {
            sh 'export'
-            sh 'make distclean'
-            sh 'make clang-tidy-quiet'
+            retry (3) {
+              sh 'make distclean'
+              sh 'make clang-tidy-quiet'
+            }
            sh 'make distclean'
          }
        }