diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs index 32714331a..62e5bee3e 100644 --- a/ci/Jenkinsfile.prs +++ b/ci/Jenkinsfile.prs @@ -17,7 +17,7 @@ pipeline { string( name: 'VERBOSITY', description: 'Makefile verbosity level.(0-2)', - defaultValue: params.VERBOSITY ?: '0' + defaultValue: params.VERBOSITY ?: '1' ) string( name: 'MAKEFLAGS',