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