Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ab8315fb87406d5c04aea4101543ea9db10f4084)
+++ Jenkinsfile	(revision f93f35a29ca99d9551e6f301389b624382e7c632)
@@ -135,5 +135,5 @@
 	}
 
-	build_stage('Test: full', Settings.RunAllTests)
+	build_stage('Test: full', Settings.RunAllTests) {
 		dir (BuildDir) {
 			//Run the tests from the tests directory