diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-08 14:54:01 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-08 14:54:01 (GMT) |
commit | 3f05816ea746124ca2b91842ba5f8bb5175c2068 (patch) | |
tree | 65b60ba9fc590c965d172545bf653b84205267ff /devbot/config.py | |
parent | ce2d2cdd3372d4a58806f0a178f0a410357f96a2 (diff) |
Add per module tests to the check target
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 9cce430..ed0f355 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -37,6 +37,7 @@ class Module: self.auto_install = info.get("auto-install", False) self.options = info.get("options", []) self.options_evaluated = info.get("options_evaluated", []) + self.has_tests = info.get("has_tests", False) if get_pref("BUILD_IN_SOURCE"): self.out_of_source = False |