From a4aced7123ba8aba13f0525276c909f4a78a04ee Mon Sep 17 00:00:00 2001
From: Kellen Sunderland <kellen.sunderland@gmail.com>
Date: Tue, 21 Aug 2018 01:53:54 +0200
Subject: [PATCH] Temporarily disable ARMv7 builds (#12260)

---
 Jenkinsfile | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6eaee43df043..6757490c803d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -363,16 +363,16 @@ core_logic: {
         }
       }
     },
-    'ARMv7':{
-      node(NODE_LINUX_CPU) {
-        ws('workspace/build-ARMv7') {
-          timeout(time: max_time, unit: 'MINUTES') {
-            utils.init_git()
-            utils.docker_run('armv7', 'build_armv7', false)
-          }
-        }
-      }
-    },
+    // 'ARMv7':{
+    //   node(NODE_LINUX_CPU) {
+    //     ws('workspace/build-ARMv7') {
+    //       timeout(time: max_time, unit: 'MINUTES') {
+    //         utils.init_git()
+    //         utils.docker_run('armv7', 'build_armv7', false)
+    //       }
+    //     }
+    //   }
+    // },
     'ARMv6':{
       node(NODE_LINUX_CPU) {
         ws('workspace/build-ARMv6') {