diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 13:32:59 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 13:32:59 (GMT) |
commit | 9e9ef41f46a61539929dce1455fcfaf1a8ecc89a (patch) | |
tree | b858c482a853f6a01a6ff83944f536cede650944 /devbot/config.py | |
parent | f3f2936331ce7e27c4e4c3326513d542a0c94be3 (diff) |
Refactoring leftovers
Diffstat (limited to 'devbot/config.py')
-rw-r--r-- | devbot/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index 85ed9d3..72a1108 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -31,6 +31,7 @@ class Module: self.repo = info["repo"] self.branch = info.get("branch", "master") self.out_of_source = info.get("out-of-source", True) + self.auto_install = info.get("auto-install", False) def get_source_dir(self): return os.path.join(source_dir, self.name) |