diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2016-07-12 15:16:54 +0100 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2016-07-12 15:16:54 +0100 |
commit | c9fc974eb37b09f77ce086416ac423e90c360d73 (patch) | |
tree | 330a9ecab1b43f0778ba0cb573dec449358e0993 /jenkins.sh | |
parent | eb617226e3b35deab4640439f0f3d20a73032b6b (diff) |
Fetch gerrit patches in ABE's lib/checkout.sh rather than in jenkins.sh.
The gerrit patches are in refs/changes/*, which are not fetched
by default by git clone. Since we are putting more and more stuff
to gerrit, it makes sense for us to fetch these commits in ABE.
The extra refs are going to be present in the reference git repos,
so overhead will be negligible.
Change-Id: I3043decb858231a3fcf2bf8a40ed12f4550e8739
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -363,9 +363,6 @@ fi $CONFIG_SHELL ${abe_dir}/abe.sh ${platform} ${change} --checkout all ) 9>${git_reference}.lock -# Also fetch changes from gerrit -(cd $user_snapshots/gcc.git; git fetch origin '+refs/changes/*:refs/remotes/gerrit/changes/*') - # Now we build the cross compiler, for a native compiler this becomes # the stage2 bootstrap build. ret=0 |