diff options
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) |