diff options
author | Lipu Fei <lipu.fei815@gmail.com> | 2018-07-06 12:21:54 +0300 |
---|---|---|
committer | Lipu Fei <lipu.fei815@gmail.com> | 2018-07-06 12:21:54 +0300 |
commit | c7b7521a30e047175aa591733f8308869633d59b (patch) | |
tree | 8d9f671c90a0036493bfa16eddc1803779494db3 /Jenkinsfile | |
parent | 1483571fda2ad158633ab506e377c6f8cb6701bf (diff) |
WIP: Use shell to run make test on Jenkins
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index ff4558625a..29b2bef670 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -33,7 +33,8 @@ parallel_nodes(['linux && cura', 'windows && cura']) { // Try and run the unit tests. If this stage fails, we consider the build to be "unstable". stage('Unit Test') { try { - make('test') + //make('test') + sh "CTEST_OUTPUT_ON_FAILURE=1 make test" } catch(e) { currentBuild.result = "UNSTABLE" } |