ci(*):remove tools from jenkins file

2019-09-20 10:01:28 +08:00
parent 8d780caef9
commit 9f9007b61a
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@@ -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 ..'