deps: Ensure that branches are updated on make update as well
Don't just force-checkout the local master branch again, but reset to origin/master Change-Id: I7d5e0e3d7f92fc51fa438b92f00c79f63945e74f
This commit is contained in:
parent
9dadc522d7
commit
12984ef36d
|
@ -55,7 +55,7 @@ $(1):
|
|||
|
||||
.PHONY:$(1)/update
|
||||
$(1)/update: $(1)
|
||||
(cd $(1) && git fetch && git checkout -f -B master)
|
||||
(cd $(1) && git fetch && git checkout -f -B master origin/master)
|
||||
|
||||
.PHONY: $(1)/clean
|
||||
$(1)/clean:
|
||||
|
|
Loading…
Reference in New Issue