From 4fbd74f3aa8b01726b6dc3a211b3ccb88f1cda0f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Feb 2013 11:18:51 +0100
Subject: [PATCH] nova: Support upgrading kernel via 'make prepare'

---
 base-nova/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/base-nova/Makefile b/base-nova/Makefile
index fdbb0e8cc4..2d37ee8d97 100644
--- a/base-nova/Makefile
+++ b/base-nova/Makefile
@@ -40,7 +40,10 @@ help::
 $(CONTRIB_DIR)/.git:
 	$(VERBOSE)git clone $(GIT_URL) $(CONTRIB_DIR)
 
+.PHONY: $(CONTRIB_DIR)
+
 $(CONTRIB_DIR): $(CONTRIB_DIR)/.git
+	$(VERBOSE)cd $(CONTRIB_DIR); git pull
 	$(VERBOSE)cd $(CONTRIB_DIR); git reset --hard $(GIT_REV); git checkout $(GIT_BRANCH)
 	$(ECHO) "applying patches to '$(CONTRIB_DIR)/'"
 	$(VERBOSE)for i in $(PATCHES); do patch -d $@ -p1 < $$i; done