Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision cf04d51707873810d8108e92687e30ea3c7fc56b)
+++ Jenkinsfile	(revision be353029621bd8213f57283d24d54817e5259c20)
@@ -82,6 +82,6 @@
 //===========================================================================================================
 def build() {
-	debug = true
-	release = Settings.RunAllTests || Settings.RunBenchmark
+	def debug = true
+	def release = Settings.RunAllTests || Settings.RunBenchmark
 	Tools.BuildStage('Build : configure', true) {
 		// Configure must be run inside the tree
@@ -96,5 +96,5 @@
 			//Use the current directory as the installation target so nothing escapes the sandbox
 			//Also specify the compiler by hand
-			targets=""
+			def targets=""
 			if( Settings.RunAllTests || Settings.RunBenchmark ) {
 				targets="--with-target-hosts='host:debug,host:nodebug'"