diff --git a/base-nova/Makefile b/base-nova/Makefile
index fdbb0e8cc..2d37ee8d9 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