Fix Jenins pull request build script
Merge pull request #7709 from darkdukey/fixJenkins

[ci skip]Fix Jenins pull request build script