Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 0370b9bd95888986487eebdf3c395d6960d82ce6)
+++ Jenkinsfile	(revision e6b862d1b6dcde6a9b1e2d97fd5f098725284eda)
@@ -147,9 +147,9 @@
 	architecture 	= architecture_from_params( pArchitecture )
 
-	do_alltests		= pRunAllTests.toBoolean()
-	do_benchmark	= pRunBenchmark.toBoolean()
-	do_doc		= pBuildDocumentation.toBoolean()
-	do_publish		= pPublish.toBoolean()
-	do_sendemail	= ! pSilent.toBoolean()
+	do_alltests		= (pRunAllTests == 'true')
+	do_benchmark	= (pRunBenchmark == 'true')
+	do_doc		= (pBuildDocumentation == 'true')
+	do_publish		= (pPublish == 'true')
+	do_sendemail	= ! (pSilent == 'true')
 
 	echo """Compiler 			: ${compiler.name} (${compiler.cpp_cc}/${compiler.cfa_cc})