diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 00:25:52 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 00:25:52 (GMT) |
| commit | ec609e55de4c2105cad0b224b0d5bdc8696025d0 (patch) | |
| tree | 824d18b3eef94bcf54ea0ab2c0c39615a7d65d1d /devbot | |
| parent | 0e848594e4d46f517ab3a7a526fe52075e332c62 (diff) | |
Add a git pull when updating
This seems necessary, I need to look at this more carefully,
but hoping this at least unbreak the buildbot.
Diffstat (limited to 'devbot')
| -rw-r--r-- | devbot/build.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/build.py b/devbot/build.py index 7b2e9b4..a0b8c46 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -93,6 +93,7 @@ def _pull_git_module(module): command.run(["git", "remote", "set-url", "origin", module.repo]) command.run(["git", "remote", "update", "origin"], retry=10) + command.run(["git", "pull"], retry=10) else: os.chdir(config.get_source_dir()) command.run(["git", "clone", "--progress", module.repo, module.name], |