diff options
-rwxr-xr-x | devbot/autoinstall.py | 4 | ||||
-rw-r--r-- | devbot/config.py | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/devbot/autoinstall.py b/devbot/autoinstall.py index 0b9fac4..9e1fda0 100755 --- a/devbot/autoinstall.py +++ b/devbot/autoinstall.py @@ -37,8 +37,8 @@ def changed_cb(monitor, file, other_file, event_flags, module): def observe(): for module in config.load_modules(): - if module.get("autoinstall", False): - print "Observing the %s module" % module["name"] + if module.auto_install: + print "Observing the %s module" % module.name source_dir = module.get_source_dir() for root, dirs, files in os.walk(source_dir): diff --git a/devbot/config.py b/devbot/config.py index 85ed9d3..72a1108 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -31,6 +31,7 @@ class Module: self.repo = info["repo"] self.branch = info.get("branch", "master") self.out_of_source = info.get("out-of-source", True) + self.auto_install = info.get("auto-install", False) def get_source_dir(self): return os.path.join(source_dir, self.name) |