diff --git a/Jenkinsfile b/Jenkinsfile index c3122ab88ec6a94036f0da0c3ac559efe27878aa..ecf708037f1243f553ca3fbd79c10d58fbb0d496 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -177,7 +177,7 @@ def pre_test_noinstall(){ mkdir debug cd debug cmake .. > /dev/null - make > /dev/null + make ''' return 1 }