diff options
author | Lipu Fei <lipu.fei815@gmail.com> | 2018-09-28 10:57:28 +0300 |
---|---|---|
committer | Lipu Fei <lipu.fei815@gmail.com> | 2018-09-28 11:02:22 +0300 |
commit | 84bad92f10bbb2175f9b5315338420f0dc63e01f (patch) | |
tree | 6b057db3eb9e2fc3006be1f5b0e703c26fddb1f5 /Jenkinsfile | |
parent | dc2c074bc0b5297bf80a20d962bda36cf12c75e5 (diff) |
Verbose output for Windows CI
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 35f07d3987..274e383ffa 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -72,7 +72,12 @@ parallel_nodes(['linux && cura', 'windows && cura']) { } else { // For Windows - make('test') + try { + // This also does code style checks. + bat 'ctest -V' + } catch(e) { + currentBuild.result = "UNSTABLE" + } } } |