diff --git a/.Jenkinsfile b/.Jenkinsfile index 49fc9915..3f436cda 100644 --- a/.Jenkinsfile +++ b/.Jenkinsfile @@ -14,7 +14,7 @@ pipeline { } steps { script { - sh 'for role_dir in ./*/; do HOME=$WORKSPACE_TMP ansible-lint -p $role_dir >> lint.txt || : ; done' + sh 'for role_dir in ./*/; do HOME=$WORKSPACE_TMP ansible-lint -p $role_dir >> $WORKSPACE_TMP/lint.txt || : ; done' recordIssues(tools: [ansibleLint(pattern: 'lint.txt')]) } }