tree eb7a366f7b19f2cfaaa23dbb18016a32d4f4485f
parent 50139d00bd5fdec1764c80fda846ecc1efcbfa5d
author Martin Roth <gaumless@gmail.com> 1669578931 -0700
committer Felix Singer <felixsinger@posteo.net> 1671324212 +0000

util/crossgcc: Add option to get packages from coreboot's mirror

coreboot has been keeping a mirror of all the toolchain packages used
for releases for quite a while now.  This adds an option to fetch the
packages from the coreboot mirror directly to buildgcc.

This can help with both our releases and when one of the various
servers experiences interruptions or changes a path.

To do this, the URL and filename needed to be split apart, which led to
quite a few changes in the buildgcc script.

Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I7df58dca152e7bfe9fde34d290e05b52515b20d9
Reviewed-on: https://review.coreboot.org/c/coreboot/+/70053
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <felixsinger@posteo.net>