Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 654d2228be2693be87a628cba30825165eb79511)
+++ Jenkinsfile	(revision 38eef0e7c40d38da9b040789c38ee3efa467224b)
@@ -155,9 +155,9 @@
 	echo """Compiler 			: ${compiler.cc_name} (${compiler.cpp_cc}/${compiler.cfa_cc})
 Architecture		: ${architecture}
-Run All Tests		: ${ param_allTests.toString() }
-Run Benchmark		: ${ param_benchmark.toString() }
-Build Documentation	: ${ param_doc.toString() }
-Publish			: ${ param_publish.toString() }
-Silent			: ${ do_sendemail.toString() }
+Run All Tests		: ${ pRunAllTests.toString() }
+Run Benchmark		: ${ pRunBenchmark.toString() }
+Build Documentation	: ${ pBuildDocumentation.toString() }
+Publish			: ${ pPublish.toString() }
+Silent			: ${ pSilent.toString() }
 """