mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 10:38:55 +00:00
nova: Support upgrading kernel via 'make prepare'
This commit is contained in:
parent
fb3933faf3
commit
4fbd74f3aa
@ -40,7 +40,10 @@ help::
|
|||||||
$(CONTRIB_DIR)/.git:
|
$(CONTRIB_DIR)/.git:
|
||||||
$(VERBOSE)git clone $(GIT_URL) $(CONTRIB_DIR)
|
$(VERBOSE)git clone $(GIT_URL) $(CONTRIB_DIR)
|
||||||
|
|
||||||
|
.PHONY: $(CONTRIB_DIR)
|
||||||
|
|
||||||
$(CONTRIB_DIR): $(CONTRIB_DIR)/.git
|
$(CONTRIB_DIR): $(CONTRIB_DIR)/.git
|
||||||
|
$(VERBOSE)cd $(CONTRIB_DIR); git pull
|
||||||
$(VERBOSE)cd $(CONTRIB_DIR); git reset --hard $(GIT_REV); git checkout $(GIT_BRANCH)
|
$(VERBOSE)cd $(CONTRIB_DIR); git reset --hard $(GIT_REV); git checkout $(GIT_BRANCH)
|
||||||
$(ECHO) "applying patches to '$(CONTRIB_DIR)/'"
|
$(ECHO) "applying patches to '$(CONTRIB_DIR)/'"
|
||||||
$(VERBOSE)for i in $(PATCHES); do patch -d $@ -p1 < $$i; done
|
$(VERBOSE)for i in $(PATCHES); do patch -d $@ -p1 < $$i; done
|
||||||
|
Loading…
Reference in New Issue
Block a user