diff options
| author |   wutianwei <wutianwei1@huawei.com> | 2017-07-17 11:08:41 +0800 |
|---|---|---|
| committer | wutianwei <wutianwei1@huawei.com> | 2017-07-17 12:11:58 +0800 |
| commit | 25467945c3331f4c3db37d9fafbd3a2f70de93e0 (patch) | |
| tree | bf7a9cf2ae22ff9da9995f689f91ee0f9a79af5b | |
| parent | 588f2fa381c12e899843a0ab1235bcb0d57b49af (diff) | |
To judge download is successful or not
if download fialed then exit
Change-Id: I40d847523ac5448c51d0788f79e4af9737bb5944
Signed-off-by: wutianwei <wutianwei1@huawei.com>
| -rw-r--r-- | build/parser.py | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/build/parser.py b/build/parser.py index 63eb494f..b80709cb 100644 --- a/build/parser.py +++ b/build/parser.py @@ -43,7 +43,9 @@ def get_from_cache(cache, package): print "downloading remote file to local...." cmd = "curl --connect-timeout 10 -o " + localfile + " " + remotefile print cmd - os.system(cmd) + rc = os.system(cmd) + if rc != 0: + sys.exit(1) def get_from_git(cache, package): @@ -53,7 +55,9 @@ def get_from_git(cache, package): os.system(cmd) cmd = "git clone " + package.get("url") + " " + localfile print cmd - os.system(cmd) + rc = os.system(cmd) + if rc != 0: + sys.exit(1) def get_from_docker(cache, package): @@ -61,14 +65,18 @@ def get_from_docker(cache, package): os.system(cmd) cmd = "sudo docker save "+package.get("url")+" -o "+cache+"/" cmd += package.get("name")+".tar" - os.system(cmd) + rc = os.system(cmd) + if rc != 0: + sys.exit(1) def get_from_curl(cache, package): cmd = "curl --connect-timeout 10 -o " + cache + "/" cmd += package.get("name") + " " + package.get("url") print cmd - os.system(cmd) + rc = os.system(cmd) + if rc != 0: + sys.exit(1) def usage(): |