diff options
| author | Leah Rowe <info@minifree.org> | 2018-12-28 15:59:06 +0000 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2018-12-28 15:59:06 +0000 |
| commit | 0d9ffffe65344b0a598bfe3d91f394f42306869e (patch) | |
| tree | 1d7fd8991a96c180f40ba32be0ed3962a2cc3239 | |
| parent | ba3469e03d71e64a4a09a40b91a50138580a367f (diff) | |
| download | librebootfr-0d9ffffe65344b0a598bfe3d91f394f42306869e.tar.gz librebootfr-0d9ffffe65344b0a598bfe3d91f394f42306869e.zip | |
Add redundancy for seabios git clone in case the main git repository is offline
This modification has been made to both build systems.
| -rwxr-xr-x | projects/seabios/seabios | 3 | ||||
| -rwxr-xr-x | resources/scripts/helpers/download/seabios | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/projects/seabios/seabios b/projects/seabios/seabios index 8cb4fd29..8f523f61 100755 --- 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 index b773ec59..8e92618a 100755 --- 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 |