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