diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-02-19 13:12:30 +0100 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-02-19 13:12:30 +0100 |
| commit | 7017f4774c5e33a84ddf662af9689b7b4ab290ce (patch) | |
| tree | e602ad30bf8521c8c4a187bcfe4d00d8c2baea66 /src/artifact.py | |
| parent | a2ba38e85297ffc101b5db4a9b9f45330d224ca4 (diff) | |
| parent | 64adaca5ef13770988dc732e23d17d5df10a58cc (diff) | |
| download | allocbench-7017f4774c5e33a84ddf662af9689b7b4ab290ce.tar.gz allocbench-7017f4774c5e33a84ddf662af9689b7b4ab290ce.zip | |
Merge branch 'master' into align_to_cl
Diffstat (limited to 'src/artifact.py')
| -rw-r--r-- | src/artifact.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/artifact.py b/src/artifact.py index 7f020f2..a358446 100644 --- a/src/artifact.py +++ b/src/artifact.py @@ -77,6 +77,14 @@ class GitArtifact(Artifact): if not os.path.exists(self.repo): self.retrieve() + # update repo + print_status(f'Updating git repository "{self.name}" ...') + try: + run_cmd(["git", "fetch"], output_verbosity=1, cwd=self.repo) + except CalledProcessError as e: + print_error(f"Failed to update {self.name}") + raise e + worktree_cmd = ["git", "worktree", "add", location, checkout] print_debug("create new worktree. By running: ", worktree_cmd, f"in {self.repo}") |