Jenkins job's build scripts for git-core builds.