Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 7223c67109a7a909af3e4fc0aeb6d197a0e482e2)
+++ Jenkinsfile	(revision fd6d74e83a6784a55081be86ccbb40eb39c37136)
@@ -105,5 +105,5 @@
 				[$class: 'ChoiceParameterDefinition',						\
 					description: 'Which compiler to use',					\
-					name: 'param_compiler',								\
+					name: 'Compiler',								\
 					choices: 'gcc-6\ngcc-5\ngcc-4.9\nclang',					\
 					defaultValue: 'gcc-6',								\
@@ -111,5 +111,5 @@
 				[$class: 'ChoiceParameterDefinition',						\
 					description: 'The target architecture',					\
-					name: 'param_arch',								\
+					name: 'Architecture',								\
 					choices: '64-bit\n32-bit',							\
 					defaultValue: '64-bit',								\
@@ -117,20 +117,25 @@
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If false, only the quick test suite is ran', 		\
-					name: 'param_allTests', 							\
+					name: 'RunAllTests', 							\
 					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also runs benchmarks', 		\
-					name: 'param_benchmark', 							\
+					name: 'RunBenchmark', 							\
 					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also builds documentation', 		\
-					name: 'param_doc', 								\
+					name: 'BuildDocumentation', 								\
 					defaultValue: false,  								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also publishes results', 		\
-					name: 'param_publish', 								\
+					name: 'paramPublish_publish', 								\
+					defaultValue: false,  								\
+				],												\
+				[$class: 'BooleanParameterDefinition',  						\
+					description: 'If true, jenkins will not send emails', 		\
+					name: 'Silent', 						\
 					defaultValue: false,  								\
 				],												\
@@ -138,11 +143,12 @@
 		]])
 
-	compiler 		= compiler_from_params( param_compiler )
-	architecture 	= architecture_from_params( param_arch )
-
-	do_alltests		= param_allTests 	.toBoolean()
-	do_benchmark	= param_benchmark .toBoolean()
-	do_doc		= param_doc 	.toBoolean()
-	do_publish		= param_publish 	.toBoolean()
+	compiler 		= compiler_from_params( Compiler )
+	architecture 	= architecture_from_params( Architecture )
+
+	do_alltests		= RunAllTests.toBoolean()
+	do_benchmark	= RunBenchmark.toBoolean()
+	do_doc		= BuildDocumentation.toBoolean()
+	do_publish		= Publish.toBoolean()
+	do_sendemail	= ! Silent.toBoolean()
 
 	echo """Compiler 			: ${compiler.name} (${compiler.cpp_cc}/${compiler.cfa_cc})
@@ -152,4 +158,5 @@
 Build Documentation	: ${ param_doc.toString() }
 Publish			: ${ param_publish.toString() }
+Silent			: ${ do_sendemail.toString() }
 """