Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 5a5d31a2a5f79b60f24225ffc8c5d8d420ec352b)
+++ Jenkinsfile	(revision 7caea536e99c4221a79bc5e881998e1b468ab94f)
@@ -128,5 +128,5 @@
 					description: 'If true, jenkins also runs benchmarks', 		\
 					name: 'pRunBenchmark', 								\
-					defaultValue: true,  								\
+					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\