From 3d34ff069342f86f984abfa5513624ad61ab75df Mon Sep 17 00:00:00 2001 From: Dany LE Date: Sat, 22 Jul 2023 23:21:06 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 8d35fd7..cd03873 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ def build_plugin() { sh ''' - set -e + set -ex cd $WORKSPACE mkdir -p build/$arch/opt/www [ -f Makefile ] && make clean @@ -104,4 +104,4 @@ pipeline{ } } } -} \ No newline at end of file +}