diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 22:26:08 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 22:34:33 (GMT) |
commit | 59df9bd4d22715b03d1b765321021a59ebc9366b (patch) | |
tree | be1075a9e3a3c2d4908735e948e0d73d690ba9dd /devbot/config.py | |
parent | 48c02f188784d65bd501a907e572e041ed61dc15 (diff) |
Git clean not out-of-source modules instead of removing
Diffstat (limited to 'devbot/config.py')
-rw-r--r-- | devbot/config.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index 0f76644..cece353 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -7,6 +7,7 @@ import tempfile from devbot import distro from devbot import utils from devbot import plugins +from devbot import git devbot_dir = None config_dir = None @@ -54,6 +55,9 @@ class Module: return utils.get_commit_id(self.get_source_dir()) + def get_git_module(self): + return git.Module(get_source_dir(), self.name, self.repo, self.tag) + def _ensure_dir(dir): if not os.path.exists(dir): os.mkdir(dir) |