Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 0dc3ac36329221db84e6ca22f7037f73c2cda234)
+++ Jenkinsfile	(revision 73787a9b5bcf449d3a1c0e38edfddb2828794a39)
@@ -21,4 +21,7 @@
 	do_publish		= false
 	do_sendemail	= true
+
+	builddir = ''
+	srcdir   = ''
 
 	currentBuild.result = "SUCCESS"