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 +}