diff options
| author | Leah Rowe <info@minifree.org> | 2018-12-28 19:58:19 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2018-12-28 19:58:19 +0000 |
| commit | 23ae353382f819d2b7de7328c813f61784d88ee7 (patch) | |
| tree | 1d7fd8991a96c180f40ba32be0ed3962a2cc3239 | |
| parent | ba3469e03d71e64a4a09a40b91a50138580a367f (diff) | |
| parent | 0d9ffffe65344b0a598bfe3d91f394f42306869e (diff) | |
| download | librebootfr-23ae353382f819d2b7de7328c813f61784d88ee7.tar.gz librebootfr-23ae353382f819d2b7de7328c813f61784d88ee7.zip | |
Merge branch 'seabios-git-redundancy' of libreboot/libreboot into master
| -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 |