git pull won't work on detached HEAD. Added repo and tag.

efabless · Aug 24, 2022 · 8a9f4b7 · 8a9f4b7
1 parent eeb2fe5
commit 8a9f4b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -89,7 +89,7 @@ simlink: check-caravel
 # Update Caravel
 .PHONY: update_caravel
 update_caravel: check-caravel
-	cd $(CARAVEL_ROOT)/ && git checkout $(CARAVEL_TAG) && git pull
+	cd $(CARAVEL_ROOT)/ && git checkout $(CARAVEL_TAG) && git pull origin $(CARAVEL_TAG)
 
 # Uninstall Caravel
 .PHONY: uninstall