diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-20 09:06:23 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-20 09:06:23 (GMT) |
commit | ab7dc2d7b0e2964eafc387f3dd73e52afd0332de (patch) | |
tree | 7bdcef02b8def4856c391b0fdc02c3ced48c6b61 /devbot/build.py | |
parent | 3aee5544e9166e7ebc000d6be2c2340e25c7a720 (diff) |
Retry git commands that requires the network
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index 097ab08..b04989f 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -70,11 +70,12 @@ def pull_source(module): os.chdir(module_dir) command.run(["git", "remote", "set-url", "origin", module["repo"]]) - command.run(["git", "remote", "update", "origin"]) + command.run(["git", "remote", "updat", "origin"], retry=10) else: os.chdir(config.source_dir) command.run(["git", "clone", "--progress", - module["repo"], module["name"]]) + module["repo"], module["name"]], + retry=10) os.chdir(module_dir) branch = module.get("branch", "master") |