diff --git a/Jenkinsfile b/Jenkinsfile index 6dd30cdbc..fd321e147 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,7 +32,7 @@ node { stage('Test') { dir("build") { - sh "make check" + sh "make check-verbose" } }