diff --git a/Jenkinsfile b/Jenkinsfile index 4cd7ece..03b3249 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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" }