diff options
| -rwxr-xr-x | scripts/dl_github_archive.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/dl_github_archive.py b/scripts/dl_github_archive.py index 5a5a016e37..4bb7d131bb 100755 --- a/scripts/dl_github_archive.py +++ b/scripts/dl_github_archive.py @@ -415,12 +415,13 @@ def main(): parser.add_argument('--source', help='Source tarball filename') parser.add_argument('--hash', help='Source tarball\'s expected sha256sum') args = parser.parse_args() - method = DownloadGitHubTarball(args) try: + method = DownloadGitHubTarball(args) method.download() - except Exception: - sys.stderr.write('download {} from {} failed\n'.format(args.source, args.url)) - raise + except Exception as ex: + sys.stderr.write('{}: Download from {} failed\n'.format(args.source, args.url)) + sys.stderr.write('{}\n'.format(ex)) + sys.exit(1) if __name__ == '__main__': main() |