diff options
| author |   Gary Wu <gary.i.wu@huawei.com> | 2017-06-22 12:41:23 -0700 |
|---|---|---|
| committer | Gary Wu <gary.i.wu@huawei.com> | 2017-06-22 12:41:23 -0700 |
| commit | 7c203d3202eb75493e2d2218b015f114cd14f025 (patch) | |
| tree | c8dc74f940312bc6dfb5570326bf69d312f80838 /bootstrap/jenkins/vagrant/jenkins-init-1.sh | |
| parent | 3824c756a23e784469ffceeb80c048c3afab0d95 (diff) | |
Increase wait time for jenkins restarts
Change-Id: I6aac7292be22d753ee46f8caf308e04001c44c36
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
Diffstat (limited to 'bootstrap/jenkins/vagrant/jenkins-init-1.sh')
0 files changed, 0 insertions, 0 deletions