From 1c66a1a5f37813f6591c72748dde939fa5a138e6 Mon Sep 17 00:00:00 2001
From: Ludovic Poujol <lpoujol@evolix.fr>
Date: Tue, 27 Dec 2022 18:16:52 +0100
Subject: [PATCH] Jenkinsfile > Use workspace tmp dir

---
 .Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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')])
                 }
             }