Add directory remove on failed cloning 72/89372/2
authorMilan Verespej <m.verespej@partner.samsung.com>
Wed, 5 Jun 2019 13:23:42 +0000 (15:23 +0200)
committerMilan Verešpej <m.verespej@partner.samsung.com>
Wed, 5 Jun 2019 13:44:50 +0000 (13:44 +0000)
commit301b83a48f3b613191ae555081ef37f12f448608
treef94e08c78bf5bc37b794ffd4d7d1fc771db2e7b4
parentd3cb6429d6d3cdcd625906e702140a51fc146847
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>
build/download/git_repos.py