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