diff options
| -rw-r--r-- | Jenkinsfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 9cf047989..8da5cc0ad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -58,7 +58,7 @@ pipeline { // Not sure, but maybe // sh "rm -rf .repository" sh "chmod 755 ./src/ci/scripts/prepareWorkspace.sh" - sh "./src/ci/scripts/prepareWorkspace.sh" + sh "./src/ci/scripts/prepareWorkspace.sh -d .repository" // Run test phase / ignore test failures // -B: Batch mode @@ -96,9 +96,9 @@ pipeline { unstable { notifyBuild("Unstable Build") } - always { - cleanWs deleteDirs: true, notFailBuild: true, patterns: [[pattern: '.repository', type: 'EXCLUDE']] - } +// always { +// cleanWs deleteDirs: true, notFailBuild: true, patterns: [[pattern: '.repository', type: 'EXCLUDE']] +// } } } |