diff --git a/Jenkinsfile b/Jenkinsfile index 7e2a1904..b6a4f614 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,7 +39,7 @@ pipeline { description: 'Attempt "make check" in this run?', name: 'DO_TEST_CHECK') booleanParam ( - defaultValue: true, + defaultValue: false, description: 'Attempt "make memcheck" in this run?', name: 'DO_TEST_MEMCHECK') booleanParam (