diff --git a/Jenkinsfile b/Jenkinsfile index 70ebc004ea72fd5ba01ef57f65b313a5deef4d94..9dc0a767fc5f9809399630bbb8d958c3503017f0 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 }