mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
parent
801d09f166
commit
b4805af5bc
@ -9,7 +9,7 @@ VERBOSE ?= @
|
|||||||
ECHO = @echo
|
ECHO = @echo
|
||||||
GIT_URL = https://github.com/alex-ab/NOVA.git
|
GIT_URL = https://github.com/alex-ab/NOVA.git
|
||||||
GIT_REV = HEAD
|
GIT_REV = HEAD
|
||||||
GIT_BRANCH = r1
|
GIT_BRANCH = r2
|
||||||
CONTRIB_DIR = contrib
|
CONTRIB_DIR = contrib
|
||||||
PATCHES = $(shell find patches -name '*.patch')
|
PATCHES = $(shell find patches -name '*.patch')
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user