From 7bb06053293c3b64866f1942b99ede24ec8ceba8 Mon Sep 17 00:00:00 2001
From: Tobias Gruetzmacher <tobias-git@23.gs>
Date: Sun, 14 Jul 2019 12:57:06 +0200
Subject: [PATCH] Jenkins: Use modern error handling

---
 Jenkinsfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e61772c8b..ce626f070 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,11 +33,8 @@ pys.each { py ->
                         git fetch --tags
                     '''
 
-                    try {
+                    warnError('tox failed') {
                         sh "tox -e $py.tox"
-                    } catch (err) {
-                        echo "tox failed: ${err}"
-                        currentBuild.result = 'UNSTABLE'
                     }
 
                     if (py.main) {