tree 8935e21502df00c97c60d8c7c4e25ce39aa8327c
parent 5d347a69dc57af7f960558434ae2419dd040ba8e
author Derek Schuff <dschuff@chromium.org> 1692897029 -0700
committer GitHub <noreply@github.com> 1692897029 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJk548FCRBK7hj4Ov3rIwAA2p0IAFewBtZ4I+NC3gItsv5ERaOb
 qRE1B/cjHSC9GSLNzc7J3z+yaalXvBYJz8zdutYkQ3NJUgAk2hqGMoRzuC3/J3i4
 zgYGETtMPNu7mrHSYnb5dB5bd1YOIKXEjZW5cK5CkYPPRx396aw9SlE4cbXxzigw
 3RDWeE3vqdHpwNv+keCYLBO8dec1XYbBrJ5PyLvKfq4Fv7/1h2IbBMVbsZyecVkU
 mLP/9kEITsjcIyGveoLzaQrlkMKFUEAkIW5VwdoGSJN6Yttph/rVpi9PZiSbuYO8
 j/iLoDZYEBXKh/FihwhphAM99mlNz3NNRgQ6NoHQblr7S8FwlHIGFwtrSMc1NEA=
 =TU01
 -----END PGP SIGNATURE-----
 

Replace update_bazel_workspace.sh with a python script (#1271)

This script is (IMO) more readable, but the real reason for this change is that
it raises an error message when the binary package fails to download. (The shell
script silently generated a bogus hash instead, because the shell's `set -e`
builtin does not affect commands executing inside a $() context.
It seemed just as easy to rewrite the script in Python as to fix that.

This change also updates some outdated filename references.