diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-15 10:26:07 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-15 10:26:07 +0000 |
commit | abf4d3217a50d4432efb74d78f29cac64f185f55 (patch) | |
tree | 61cae247883e42f378f762a97e64d2c411db8dde /tcwg-llvm-common.sh | |
parent | 1ac7c43e38e67a54fb9436add2ed1734328c7e00 (diff) |
jenkins-helpers.sh: Workaround stale "git gc" lock.
If build times out during "git gc" or "git gc" is otherwise
killed, then we have to clean up a stale lock.
Change-Id: I2c60b0a35a0881c2b5b893f6f925ffab5f88fcd4
Diffstat (limited to 'tcwg-llvm-common.sh')
0 files changed, 0 insertions, 0 deletions