From 906559d8cfce7ea9547eb15b7a5b0b8abc044da6 Mon Sep 17 00:00:00 2001
From: Anthony Lamping <lamping.ap@gmail.com>
Date: Mon, 15 Oct 2018 15:12:38 -0400
Subject: [PATCH] jenkins: retry clang-tidy step, max of 3 runs

---
 Jenkinsfile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 57a4d83a35..6c7e53f1f8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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'
           }
         }