diff options
| author |   Jan-Simon Möller <jsmoeller@linuxfoundation.org> | 2017-04-24 22:18:17 +0200 |
|---|---|---|
| committer | Jan-Simon Möller <jsmoeller@linuxfoundation.org> | 2017-04-24 22:18:17 +0200 |
| commit | 061553fa536d414dcfaeb609fea25b7c07d9a0cf (patch) | |
| tree | af6dafecee395e2d920ebd8c4bdf59530a98445c /jenkins-scripts/basic_settings.sh | |
| parent | ad6b8759c58ac85c90c1cbe771dec1773da2214b (diff) | |
Also make sure the lock file is gone
Change-Id: Iaee7cdf46ebd3eb0c6dd52e0923c2f416280ba63
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
Diffstat (limited to 'jenkins-scripts/basic_settings.sh')
0 files changed, 0 insertions, 0 deletions