diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2012-05-09 21:07:17 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-05-09 21:46:07 +0200 |
| commit | eb129bbcb654d90c331b7898222d64f769c08437 (patch) | |
| tree | e55e0fb0121eec5193362f690356ece0068b8399 | |
| parent | 76cfcbc312a8f58b78e710e629172fead8240130 (diff) | |
| download | coreboot-eb129bbcb654d90c331b7898222d64f769c08437.tar.xz | |
Update SeaBIOS URL
We have a http accessible SeaBIOS mirror at review.coreboot.org.
Use it.
Change-Id: Icce8e4f9ca1fa69966c82423b2b27057f15b30d2
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/1020
Tested-by: build bot (Jenkins)
Reviewed-by: Marc Jones <marcj303@gmail.com>
| -rw-r--r-- | payloads/external/SeaBIOS/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/payloads/external/SeaBIOS/Makefile.inc b/payloads/external/SeaBIOS/Makefile.inc index 70bbc780a5..e0f03b19c3 100644 --- a/payloads/external/SeaBIOS/Makefile.inc +++ b/payloads/external/SeaBIOS/Makefile.inc @@ -9,7 +9,7 @@ all: build $(OUT)/seabios: echo " Cloning SeaBIOS from Git" - git clone git://git.seabios.org/seabios.git $(OUT)/seabios + git clone http://review.coreboot.org/p/seabios.git $(OUT)/seabios fetch: $(OUT)/seabios cd $(OUT)/seabios; git show $(TAG-y) >/dev/null 2>&1 ; if [ $$? -ne 0 ]; \ |