diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-27 15:00:18 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-27 15:00:18 (GMT) |
commit | f3f0fe85732d75159271f59db9baccef21f4d937 (patch) | |
tree | cb3c5ca65705a7318340ac82d17f91806ee36e4c /devbot | |
parent | 49aa7d8db405585344e6c01a9c77294dd8c95feb (diff) |
Make sure the source directory it's a git repository
Otherwise we pull in the sugar-build repo with not so nice
consequences.
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]) |