diff options
| author | Kristofer Jonsson <kristofer.jonsson@arm.com> | 2022-11-22 14:13:33 +0100 |
|---|---|---|
| committer | Kristofer Jonsson <kristofer.jonsson@arm.com> | 2022-11-22 14:13:33 +0100 |
| commit | 40c0bfafdd1d4fa6e73f919fb4f0f341ac05f9bc (patch) | |
| tree | 540d2d5c71985167512c785378f8b7842649e52c | |
| parent | 3d56fd0f60ebc0d1b1c149e5e1c64bce97a18e47 (diff) | |
| download | ethos-u-40c0bfafdd1d4fa6e73f919fb4f0f341ac05f9bc.tar.gz | |
Fetch revision and checkout FETCH_HEAD
Fetching revision specified by manifest and checkout FETCH_HEAD.
Change-Id: I47f36d9555625c92d374442ee505c3c0246fb1a0
| -rwxr-xr-x | fetch_externals.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/fetch_externals.py b/fetch_externals.py index 0be9cc3..2cc7960 100755 --- a/fetch_externals.py +++ b/fetch_externals.py @@ -45,7 +45,7 @@ def check_output(args, **kwargs): ############################################################################### class Git(object): - def __init__(self, pwd, path, name, fetchurl, pushurl=None, revision='origin/master'): + def __init__(self, pwd, path, name, fetchurl, pushurl=None, revision='master'): self.pwd = pwd self.path = path self.name = name @@ -57,8 +57,8 @@ class Git(object): def checkout_and_update(self): self.init() self.remote_add(self.name, self.revision, self.fetchurl, self.pushurl) - self.fetch(self.name) - self.checkout(self.name, self.revision) + self.fetch(self.name, self.revision) + self.checkout(self.name, 'FETCH_HEAD') def init(self): if not os.path.exists(self.absolutepath): @@ -82,8 +82,8 @@ class Git(object): if pushurl: check_output(['git', 'remote', 'set-url', '--add', '--push', name, pushurl], cwd=self.absolutepath) - def fetch(self, name): - check_output(['git', 'fetch', name], cwd=self.absolutepath) + def fetch(self, name, revision): + check_output(['git', 'fetch', name, revision], cwd=self.absolutepath) def checkout(self, name, revision): rev = self.__get_rev(name, revision) |