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 | |
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
-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 |