Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 73787a9b5bcf449d3a1c0e38edfddb2828794a39)
+++ Jenkinsfile	(revision e93572a0af831b81e09359234ae364fc8c2c97dd)
@@ -22,6 +22,6 @@
 	do_sendemail	= true
 
-	builddir = ''
-	srcdir   = ''
+	builddir = pwd tmp: true
+	srcdir   = pwd tmp: false
 
 	currentBuild.result = "SUCCESS"
@@ -247,5 +247,5 @@
 	build_stage('Cleanup') {
 		// clean the build by wipping the build directory
-		sh "rm -rf ${builddir}/*"
+		echo "rm -rf ${builddir}/*"
 
 		//Clean all temporary files to make sure no artifacts of the previous build remain
@@ -267,8 +267,4 @@
 def build() {
 	build_stage('Build') {
-
-		builddir = pwd tmp: true
-		srcdir   = pwd tmp: false
-
 		// Build outside of the src tree to ease cleaning
 		dir (builddir) {