diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 17:22:11 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 17:22:11 (GMT) |
| commit | 9d4bcf514ae2a6f68f5b9ce28cb35addd65cf1f7 (patch) | |
| tree | ee106a0d94e2e715d9abcdb975c02dd8ce9cf9be /devbot/config.py | |
| parent | f0e7ce55780ce3d11e985fb4e4f9a7efaf5c8dc5 (diff) | |
Build gnome-keyring with XDG_HOME_DATA support
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 4c04a56..284e9a8 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -36,6 +36,7 @@ class Module: self.tag = info.get("tag", None) self.auto_install = info.get("auto-install", False) self.options = info.get("options", []) + self.options_evaluated = info.get("options_evaluated", []) if get_pref("BUILD_IN_SOURCE"): self.out_of_source = False |