From 9f9007b61a33cbfb076dfb307d8109227798e37f Mon Sep 17 00:00:00 2001
From: wangruixue <cocowang@slightech.com>
Date: Fri, 20 Sep 2019 10:01:28 +0800
Subject: [PATCH] ci(*):remove tools from jenkins file

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e7489c2..b9b1491 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -49,12 +49,14 @@ pipeline {
         sh '. /opt/ros/kinetic/setup.sh; make samples SUDO='
       }
     }
+	   /*
     stage('Tools') {
       steps {
         echo 'make tools ..'
         sh '. /opt/ros/kinetic/setup.sh; make tools SUDO='
       }
     }
+	    */
     stage('ROS') {
       steps {
         echo 'make ros ..'