tree d044b051489fae87473fbb32566757d68f35e243
parent cdbe3f8b7c5d05a282fbe5308cf628f7114f0855
author June Tate-Gans <jtgans@google.com> 1661281216 -0500
committer June Tate-Gans <jtgans@google.com> 1661286637 -0500

downloads: Allow for the developer to prevent downloads

Not all developers need to check for the latest version of the IREE
toolchain, or the latest version of the Renode emulator to do their
day-to-day work, and keeping up to date with these tools often causes
significant downtime or delays in a build.

This change adjusts the scripts that do the downloading to honor the
PIN_TOOLCHAINS environment variable, allowing builds to continue
without the latest IREE or Renode toolchains.

PIN_TOOLCHAINS is expected to be a space-delimited list of toolchain
names.

Change-Id: I68ec58a3726e6b8130571e02b99d7b86b561b94d