diff options
Diffstat (limited to 'devbot')
-rw-r--r-- | devbot/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devbot/build.py b/devbot/build.py index ae100f2..38cd816 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -75,7 +75,7 @@ def _unlink_libtool_files(): def _pull_git_module(module): module_dir = module.get_source_dir() - if os.path.exists(module_dir): + if os.path.exists(os.path.join(module_dir, ".git")): os.chdir(module_dir) command.run(["git", "remote", "set-url", "origin", module.repo]) |