diff options
| author |   Gary Wu <gary.i.wu@huawei.com> | 2017-06-21 14:37:43 -0700 |
|---|---|---|
| committer | Gary Wu <gary.i.wu@huawei.com> | 2017-06-21 14:37:43 -0700 |
| commit | 3655edcc82d62f5acd545391255fb43a89058f4e (patch) | |
| tree | 4d2685afbb9589ebee77037a4f9ec403ede13ec6 /bootstrap/jenkins/vagrant/jenkins-init-2.sh | |
| parent | 89ce3216514b002b725777d132df144b3838e42d (diff) | |
Update pull-all.sh to not clean the repos
Change-Id: I784873b8137075bb08dfb856caafb7f3a143f454
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
Diffstat (limited to 'bootstrap/jenkins/vagrant/jenkins-init-2.sh')
0 files changed, 0 insertions, 0 deletions