Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 38eef0e7c40d38da9b040789c38ee3efa467224b)
+++ Jenkinsfile	(revision 26a63f012ff9b6be268002710f25c3c2da1865f1)
@@ -124,15 +124,15 @@
 					description: 'If true, jenkins also runs benchmarks', 		\
 					name: 'pRunBenchmark', 							\
-					defaultValue: false,  								\
+					defaultValue: true,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also builds documentation', 		\
 					name: 'pBuildDocumentation', 								\
-					defaultValue: false,  								\
+					defaultValue: true,  								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also publishes results', 		\
 					name: 'pPublish', 								\
-					defaultValue: false,  								\
+					defaultValue: true,  								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
@@ -153,10 +153,10 @@
 	do_sendemail	= ! (pSilent == 'true')
 
-	echo """Compiler 			: ${compiler.cc_name} (${compiler.cpp_cc}/${compiler.cfa_cc})
+	echo """Compiler 		: ${compiler.cc_name} (${compiler.cpp_cc}/${compiler.cfa_cc})
 Architecture		: ${architecture}
 Run All Tests		: ${ pRunAllTests.toString() }
 Run Benchmark		: ${ pRunBenchmark.toString() }
 Build Documentation	: ${ pBuildDocumentation.toString() }
-Publish			: ${ pPublish.toString() }
+Publish		: ${ pPublish.toString() }
 Silent			: ${ pSilent.toString() }
 """