libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 23ae353382f819d2b7de7328c813f61784d88ee7
parent ba3469e03d71e64a4a09a40b91a50138580a367f
Author: Leah Rowe <info@minifree.org>
Date:   Fri, 28 Dec 2018 19:58:19 +0000

Merge branch 'seabios-git-redundancy' of libreboot/libreboot into master

Diffstat:
projects/seabios/seabios | 3++-
resources/scripts/helpers/download/seabios | 3++-
2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/projects/seabios/seabios b/projects/seabios/seabios @@ -27,7 +27,8 @@ usage() { download() { local repository="$project" - project_download_git "$project" "$repository" 'https://review.coreboot.org/seabios.git' "$@" + project_download_git "$project" "$repository" 'https://git.seabios.org/seabios.git' "$@" || \ + project_download_git "$project" "$repository" 'https://review.coreboot.org/cgit/seabios.git/' "$@" } download_check() { diff --git a/resources/scripts/helpers/download/seabios b/resources/scripts/helpers/download/seabios @@ -35,7 +35,8 @@ rm -rf "seabios/" # ------------------------------------------------------------------------------ # download it using git -git clone https://git.seabios.org/seabios.git seabios +git clone https://git.seabios.org/seabios.git seabios || \ +git clone https://review.coreboot.org/cgit/seabios.git/ seabios ( # modifications are required