diff options
| author |   Milan Verespej <m.verespej@partner.samsung.com> | 2019-06-05 15:23:42 +0200 |
|---|---|---|
| committer | Milan Verešpej <m.verespej@partner.samsung.com> | 2019-06-05 13:44:50 +0000 |
| commit | 301b83a48f3b613191ae555081ef37f12f448608 (patch) | |
| tree | f94e08c78bf5bc37b794ffd4d7d1fc771db2e7b4 /build/delete-local-images.sh | |
| parent | d3cb6429d6d3cdcd625906e702140a51fc146847 (diff) | |
Add directory remove on failed cloning
While downloading git repositories there was no removing
of created destination directory which could led to false
detection of downloaded repository.
This script adds directory remove in such case plus fixes
some minor typos in logging and help strings.
Issue-ID: OOM-1803
Change-Id: Iec672bc8248e7b2daee06717985e11f7e05aa5be
Signed-off-by: Milan Verespej <m.verespej@partner.samsung.com>
Diffstat (limited to 'build/delete-local-images.sh')
0 files changed, 0 insertions, 0 deletions