From 4582d6defc8b686c0b694cab574d55e3bd5d5fa3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 5 Jan 2017 19:46:11 +0100
Subject: [PATCH] check verbose in jenkins

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
 	}
    }