mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-10 21:01:49 +00:00
Change codezero download location to github
Because the l4dev.org server seems to be unreliable, we obtain the source code from github.
This commit is contained in:
parent
2c1b8f4807
commit
f75243f5dd
@ -6,7 +6,7 @@
|
||||
|
||||
VERBOSE ?= @
|
||||
ECHO = @echo
|
||||
GIT_URL = http://git.l4dev.org/codezero.git
|
||||
GIT_URL = https://github.com/nfeske/codezero.git
|
||||
GIT_REV = 6fa4884a5a1cf6207372f69ae01e5faa6d5a39c8
|
||||
CONTRIB_DIR = contrib
|
||||
PATCHES = $(shell find patches -name *.patch)
|
||||
|
Loading…
x
Reference in New Issue
Block a user