diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 17:40:21 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-23 17:40:21 (GMT) |
commit | 9c186e63e71ea79609d460a03df8327b699c7dbf (patch) | |
tree | c0e4c25dd6a13d3e9124cb996f03364dbee17d67 /devbot/config.py | |
parent | 7713378c690a85f069b6a8358535682c282b236d (diff) |
Add metacity
We need a patch in the latest version for journal
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 8fbb930..aabacb3 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -25,6 +25,7 @@ class Module: self.repo = info["repo"] self.branch = info.get("branch", "master") self.auto_install = info.get("auto-install", False) + self.options = info.get("options", []) if get_pref("BUILD_IN_SOURCE"): self.out_of_source = False |