Update jenkins.sh (missing for previous commit)