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 ..'