From 84bad92f10bbb2175f9b5315338420f0dc63e01f Mon Sep 17 00:00:00 2001
From: Lipu Fei <lipu.fei815@gmail.com>
Date: Fri, 28 Sep 2018 09:57:28 +0200
Subject: [PATCH] Verbose output for Windows CI

---
 Jenkinsfile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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