diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index e1e9da7..cc845b8 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -25,18 +25,24 @@ for proj in $PROJECTS; do make clean make echo "=============== $proj DONE ==============" +done - if [ "x$publish" = "x--publish" ]; then - echo - echo "=============== UPLOAD BUILD ==============" +if [ "x$publish" != "x--publish" ]; then + exit 0 +fi - cat > "/build/known_hosts" < "/tmp/known_hosts" <