From f34d0ac677840d0dacf2e6897b7f2788395a0819 Mon Sep 17 00:00:00 2001 From: Adam Iwaniuk Date: Wed, 26 Apr 2017 18:07:04 +0200 Subject: [PATCH] build mingw only on release builds --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 98b0fa64..8fac9620 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,7 +43,7 @@ def post_build_finished(job,url){ def builders = [:] -builders['mingw32'] = { node('windows') { +if (!buildConfiguration.equals("Debug")) builders['mingw32'] = { node('windows') { ws(getWorkspace("")){ timestamps { try {