From 34093a3f8b7a21ae5d5745def1d526a1787a248f Mon Sep 17 00:00:00 2001 From: Dany LE Date: Sat, 22 Jul 2023 23:24:11 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 838c4ea..d22018e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,8 @@ def build_plugin() { sh ''' - set -ex + set -e + set +x cd $WORKSPACE mkdir -p build/$arch/opt/www [ -f Makefile ] && make clean