Attempt to debug CI

ndenoyelle · ndenoyelle · commit 7874ef25b7cc · 2019-06-19T09:59:41.000-05:00
diff --git a/contrib/ci.inria.fr/Jenkinsfile-basic b/contrib/ci.inria.fr/Jenkinsfile-basic
@@ -69,7 +69,6 @@ pipeline {
 									unstash 'script-unix-check'
 									sh 'chmod 755 job-1-check.sh && ./job-1-check.sh '+tarballgz
 									if (env.KEEP_WORKING_DIRECTORY != 'true')
-										deleteDir()
 								}
 							}
 							archiveArtifacts artifacts: "build/utils/hwloc/test-suite.log"

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,6 @@ pipeline {`
`69`	`69`	`unstash 'script-unix-check'`
`70`	`70`	`sh 'chmod 755 job-1-check.sh && ./job-1-check.sh '+tarballgz`
`71`	`71`	`if (env.KEEP_WORKING_DIRECTORY != 'true')`
`72`		`- deleteDir()`
`73`	`72`	`}`
`74`	`73`	`}`
`75`	`74`	`archiveArtifacts artifacts: "build/utils/hwloc/test-suite.log"`