Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ece8a80c55ec47d45759c81c12cd76e795808c65)
+++ Jenkinsfile	(revision d4cd491168ebea465a19443b91d7154ca30669e4)
@@ -248,5 +248,5 @@
 		// clean the build by wipping the build directory
 		dir(builddir) {
-			deleteDir
+			deleteDir()
 		}