[jenkins] Clean complete workspace on exit

JakubVanek · JakubVanek · commit 055ab0020ce8 · 2018-08-12T01:12:22.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -80,7 +80,7 @@ pipeline {
                     sh "docker rmi ev3dev-lang-java:jdk-stretch 2>/dev/null"
                 } catch (err) {}
                 try {
-                    sh "rm -rf /home/jenkins/workspace/" + JOB_NAME + "/build/jdk"
+                    cleanWs()
                 } catch (err) {}
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ pipeline {`
`80`	`80`	`sh "docker rmi ev3dev-lang-java:jdk-stretch 2>/dev/null"`
`81`	`81`	`} catch (err) {}`
`82`	`82`	`try {`
`83`		`- sh "rm -rf /home/jenkins/workspace/" + JOB_NAME + "/build/jdk"`
	`83`	`+ cleanWs()`
`84`	`84`	`} catch (err) {}`
`85`	`85`	`}`
`86`	`86`	`}`