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 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 |