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