diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-16 15:13:48 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-16 15:15:24 +0000 |
commit | 7b1b1b0841224759b37750abaa5c784f9dfd6437 (patch) | |
tree | 634953b63ee8ae89f1b5510bb8b26e522effbb48 | |
parent | eb679b0873e484c8b172967dc8b90224958aac16 (diff) |
jenkins-helpers.sh: Speed-up "git gc" in clone_or_update_repo
Run "git gc" in --auto mode to skip repos which are in good shape.
Change-Id: I3cd1adffda2736dd1f37d8460f1cf905a537f55e
-rw-r--r-- | jenkins-helpers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 33f253c8..95962efd 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -386,7 +386,7 @@ clone_or_update_repo_no_checkout () # a lock. Use --force to workaround that. It should be safe # to override the lock since directories should not be shared # between concurrent builds. - git -C "$dir" gc --force + git -C "$dir" gc --auto --force fi ( |