From d7aa5df3cd7e8bfec26bf09f46fcf44657f55701 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Fri, 15 Dec 2017 09:46:38 -0500
Subject: [PATCH] Jenkins enable clang-tidy build

---
 Jenkinsfile | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1ca32d47c7..f52bd5cf36 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -215,19 +215,18 @@ pipeline {
     stage('Test') {
       parallel {
 
-        // temporarily disabled until build resources are available
-        //stage('clang-tidy') {
-        //  agent {
-        //    docker {
-        //      image 'px4io/px4-dev-clang:2017-10-23'
-        //      args '-e CI=true -e CCACHE_BASEDIR=$WORKSPACE -e CCACHE_DIR=/tmp/ccache -v /tmp/ccache:/tmp/ccache:rw'
-        //    }
-        //  }
-        //  steps {
-        //    sh 'make clean'
-        //    sh 'make clang-tidy-quiet'
-        //  }
-        //}
+        stage('clang tidy') {
+          agent {
+            docker {
+              image 'px4io/px4-dev-clang:2017-10-23'
+              args '-e CI=true -e CCACHE_BASEDIR=$WORKSPACE -e CCACHE_DIR=/tmp/ccache -v /tmp/ccache:/tmp/ccache:rw'
+            }
+          }
+          steps {
+            sh 'make clean'
+            sh 'make clang-tidy-quiet'
+          }
+        }
 
         stage('tests') {
           agent {