Skip to content

Commit

Permalink
update submodules when doing git fetch
Browse files Browse the repository at this point in the history
  • Loading branch information
BenWibking committed Dec 13, 2024
1 parent 4789924 commit cba71d3
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions repo.py
Original file line number Diff line number Diff line change
Expand Up @@ -98,6 +98,13 @@ def git_update(self):

shutil.copy(f"git.{self.name}.out", self.suite.full_web_dir)

# update submodules to those specified by the current commit
# (--init is required because there may be new submodules since the last checkout)
_, _, rc = test_util.run(f"git submodule update --init")

if rc != 0:
self.suite.log.fail("ERROR: git submodule update was unsuccessful")

def save_head(self):
"""Save the current head of the repo"""

Expand Down

0 comments on commit cba71d3

Please sign in to comment.