fix a syntaxis error in jenkins.sh