Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision e93572a0af831b81e09359234ae364fc8c2c97dd)
+++ Jenkinsfile	(revision ece8a80c55ec47d45759c81c12cd76e795808c65)
@@ -247,5 +247,11 @@
 	build_stage('Cleanup') {
 		// clean the build by wipping the build directory
-		echo "rm -rf ${builddir}/*"
+		dir(builddir) {
+			deleteDir
+		}
+
+		dir(buildir) {
+
+		}
 
 		//Clean all temporary files to make sure no artifacts of the previous build remain