Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 0c1d2403885f5c3b07ea42809effc74e475e97ad)
+++ Jenkinsfile	(revision 2112663f0efc6646c307422112d1c601a3c3bd34)
@@ -163,12 +163,12 @@
 	currentBuild.description = "${compiler.cc_name}:${arch_name}${full}"
 
-	echo """Compiler 	      : ${compiler.cc_name} (${compiler.cpp_cc}/${compiler.cfa_cc})
-Architecture            : ${arch_name}
-Arc Flags               : ${architecture}
-Run All Tests           : ${ pRunAllTests.toString() }
-Run Benchmark           : ${ pRunBenchmark.toString() }
-Build Documentation     : ${ pBuildDocumentation.toString() }
-Publish                 : ${ pPublish.toString() }
-Silent                  : ${ pSilent.toString() }
+	echo """Compiler 	            : ${ compiler.cc_name } (${ compiler.cpp_cc }/${ compiler.cfa_cc })
+Architecture            : ${ arch_name }
+Arc Flags               : ${ architecture }
+Run All Tests           : ${ params.RunAllTests.toString() }
+Run Benchmark           : ${ params.RunBenchmark.toString() }
+Build Documentation     : ${ params.BuildDocumentation.toString() }
+Publish                 : ${ params.Publish.toString() }
+Silent                  : ${ params.Silent.toString() }
 """
 }