diff --git a/Jenkinsfile b/Jenkinsfile index fc2b3562c1..4b84e1f88e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -113,7 +113,7 @@ pipeline { ''' sh''' cd ${WKC}/debug - ctest + ctest -VV ''' } } diff --git a/Jenkinsfile2 b/Jenkinsfile2 index cca886d4af..c9c9c3a7ca 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -121,7 +121,7 @@ pipeline { pre_test() sh''' cd ${WKC}/debug - ctest + ctest -VV ''' sh''' export LD_LIBRARY_PATH=${WKC}/debug/build/lib