tree 7d22d43ba69cb226789fef7ed39227c1ff9b9305
parent 93360d3670018769b424e4e8f1d3d9b26d32c977
author Sam Clegg <sbc@chromium.org> 1695255313 -0700
committer Sam Clegg <sbc@chromium.org> 1695330555 -0700

Switch to .xz by default for SDK downloads

This is a bit of a hack but I can't think of another way to do it.
Basically when downloading SDKs, we first try the new `.xz` extension.
If that fails, we fall back to the old `.tbz2`.  Both these first two
download attempts we run in "silent" mode.  If both of them fail we
re-run the original request in non-silent mode so that the error message
will always contain the original `.xz` extension.

See #1235