Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Köplinger <alex.koeplinger@outlook.com>2016-06-21 04:03:07 +0300
committerAlexander Köplinger <alex.koeplinger@outlook.com>2016-06-21 04:03:07 +0300
commitcf1b844a98ab4065ac984eda90f160325f288e7f (patch)
tree88b18abf0199f1dbe1ef3f664cc644c8b95fa430 /scripts/submodules
parent5bf6df828c59ab373700f17dd19d17a359630c40 (diff)
[scripts/submodules] Add branch to check if fetch is needed
In some cases the "git log -1 <remote>" check fails even though the remote is configured and an unnecessary fetch is done. Adding the branch to the check fixes this.
Diffstat (limited to 'scripts/submodules')
-rw-r--r--scripts/submodules/versions.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/submodules/versions.mk b/scripts/submodules/versions.mk
index 440476df140..3d429b80eac 100644
--- a/scripts/submodules/versions.mk
+++ b/scripts/submodules/versions.mk
@@ -68,7 +68,7 @@ test-$(1)::
reset-$(1)::
@if test -d $($(2)_PATH); then \
- if ! (cd $($(2)_PATH) && git show $(NEEDED_$(2)_VERSION) >/dev/null 2>&1 && git log -1 $(NEEDED_$(2)_REMOTE) >/dev/null 2>&1) ; then \
+ if ! (cd $($(2)_PATH) && git show $(NEEDED_$(2)_VERSION) >/dev/null 2>&1 && git log -1 $(NEEDED_$(2)_REMOTE/NEEDED_$(2)_BRANCH) >/dev/null 2>&1) ; then \
echo "*** git fetch `basename $$($(2)_PATH)`" && (cd $($(2)_PATH) && git fetch); \
fi; \
else \