commit | 15fbf82d6cee5aee1362b37d3347f82f45eeb248 | [log] [tgz] |
---|---|---|
author | Dave Borowitz <dborowitz@google.com> | Fri Jul 24 16:58:23 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jul 24 16:58:23 2015 +0000 |
tree | 029339e3589328771ae3aa3b984f87763f9e7528 | |
parent | 419b83974675d497de454743cf96e2f0acfc47f7 [diff] | |
parent | b2d36fbcbfa3a1a31ca39e39794b08eb12054a92 [diff] |
Merge "Make java_sources rule public"
diff --git a/tools/download_file.py b/tools/download_file.py index 3e6fca9..ab8647d 100755 --- a/tools/download_file.py +++ b/tools/download_file.py
@@ -110,7 +110,7 @@ print('Download %s' % src_url, file=stderr) try: - check_call(['curl', '--proxy-anyauth', '-sfo', cache_ent, src_url]) + check_call(['curl', '--proxy-anyauth', '-ksfo', cache_ent, src_url]) except OSError as err: print('could not invoke curl: %s\nis curl installed?' % err, file=stderr) exit(1)