diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-09-02 15:50:04 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-09-02 15:50:04 +0300 |
commit | 476c204a9b478c1d5f19ccf338ac80c5428f66ee (patch) | |
tree | c9767a7521ef0e77dc5abc65a0b87f0187d3441e /jenkins-run | |
parent | f78d088e90e5301ec35a03703dd0270e814df32f (diff) |
refresh patches
Also switch to faster git clone
Diffstat (limited to 'jenkins-run')
-rwxr-xr-x | jenkins-run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-run b/jenkins-run index d529e3a..0b6a1d4 100755 --- a/jenkins-run +++ b/jenkins-run @@ -6,7 +6,7 @@ sudo rm -rf build binary . ./gcov-ci/configs/${hwpack}.template -time git clone ${git_url} --branch ${git_branch} build +time git clone --depth 1 ${git_url} --branch ${git_branch} build cp -a gcov-ci build/ cd build |