From 2f1c14436212d63ae00db8878a2b7d26f1c90ab0 Mon Sep 17 00:00:00 2001
From: Till Wegmueller <toasterson@gmail.com>
Date: Mon, 29 Nov 2021 23:47:35 +0100
Subject: [PATCH] Run ERR trap by default

---
 tools/jenkinshelper.ksh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/tools/jenkinshelper.ksh b/tools/jenkinshelper.ksh
index fbaa3e0..2025d44 100755
--- a/tools/jenkinshelper.ksh
+++ b/tools/jenkinshelper.ksh
@@ -3,7 +3,7 @@
 # 2021-11-30 Till Wegmueller <toasterson@gmail.com>
 # instead of putting all this into the Jenkinsfile I decided to put the actual code in this script
 
-set -x
+set -ex
 
 # global config
 HTTPCONF="/etc/apache2/2.4/conf.d/pkgdepotd.conf"

--
Gitblit v1.9.3