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 /resources/scripts/helpers | |
| parent | ba3469e03d71e64a4a09a40b91a50138580a367f (diff) | |
| parent | 0d9ffffe65344b0a598bfe3d91f394f42306869e (diff) | |
| download | librebootfr-23ae353382f819d2b7de7328c813f61784d88ee7.tar.gz librebootfr-23ae353382f819d2b7de7328c813f61784d88ee7.zip | |
Merge branch 'seabios-git-redundancy' of libreboot/libreboot into master
Diffstat (limited to 'resources/scripts/helpers')
| -rwxr-xr-x | resources/scripts/helpers/download/seabios | 3 |
1 files changed, 2 insertions, 1 deletions
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 |