diff options
| author | Ash Wilding <ash.wilding@arm.com> | 2019-07-23 10:52:25 +0100 |
|---|---|---|
| committer | sudipto paul <sudipto.paul@arm.com> | 2019-09-12 11:36:19 +0100 |
| commit | fa59fe1f95c85e762702a19210e3d918cead3264 (patch) | |
| tree | 8e9d2e6dc86245b862b16461735e2408b3e0426f /sync_workspace.py | |
| parent | 385866b021ba6651a5b83cb5fa856c40c4ef1dde (diff) | |
sync: fix bug where ssh:// checkouts of arm-reference-platforms could not build from source
Change-Id: I42cfc4cd8a00b25c7e152435a2f96ea2863e9a06
Signed-off-by: Ash Wilding <ash.wilding@arm.com>
Diffstat (limited to 'sync_workspace.py')
| -rw-r--r-- | sync_workspace.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sync_workspace.py b/sync_workspace.py index 49a4019..006bee3 100644 --- a/sync_workspace.py +++ b/sync_workspace.py @@ -2101,7 +2101,7 @@ def get_tags( p ): if not dblu("@.mrel",p) == "???": script.abort("get_tags() called on platform without mrel='???' ({})".format(p)) - arp_git = "https://git.linaro.org/landing-teams/working/arm/arm-reference-platforms.git" + arp_git = "git.linaro.org/landing-teams/working/arm/arm-reference-platforms.git" (knowntag, tagkey) = dblum("@", ["knowntag", "tagkey"], p) os.chdir(sys.path[0]) @@ -2122,7 +2122,7 @@ def get_tags( p ): for remote in remotes.splitlines(): (name, url, direction) = remote.split() - if url == arp_git and direction == "(fetch)": + if arp_git in url and direction == "(fetch)": sh.call(["git", "remote", "update", name, "--prune"]) break |