diff options
author | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:23:22 +0100 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:32:28 +0100 |
commit | 981be73b1c0f91a35634bacebf3a683e5bfd7182 (patch) | |
tree | a2a2ecfe09f7af4f48ef14b4d0ba078991f67773 /deps/Makefile | |
parent | dada4c5a55de3984e596468a163cedc4d5ac5189 (diff) |
deps/Makefile: Use "git remote set-url" to catch URL changes
In the past, we sometimes had to switch a repository URL (e.g. from
official git repo ot osmocom fork with patches/fixes). The existing
Makefile didn't pick this up during "make update". Let's use "git
remote set-url" to always update the remote URL before doing the "git
fetch".
Change-Id: I1d699ad5087f438e64b84c2e5c6e7320cb9457f6
Diffstat (limited to 'deps/Makefile')
-rw-r--r-- | deps/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/Makefile b/deps/Makefile index 6f975f20..ccf2bdba 100644 --- a/deps/Makefile +++ b/deps/Makefile @@ -55,7 +55,7 @@ $(1): .PHONY:$(1)/update $(1)/update: $(1) - (cd $(1) && git fetch && git checkout -f -B master origin/master) + (cd $(1) && git remote set-url origin $(2)/$(1) && git fetch && git checkout -f -B master origin/master) .PHONY: $(1)/clean $(1)/clean: |