CI: only lint modified files

2018-09-26 12:08:29 +02:00 · 2018-09-26 12:08:29 +02:00 · e4bb33e895
parent 9367e5e79e
commit e4bb33e895
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -27,7 +27,7 @@ pipeline {
      steps {
        script {
          try {
-            sh "make lint"
+            sh 'make LINT_ARGS="--new-from-rev=HEAD~" lint'
          } catch(ex) {
            currentBuild.result = "UNSTABLE"
          }