diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:39:56 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:39:56 (GMT) |
commit | 3022a9c90a374a9c6ba402b6aede0a503bf6315e (patch) | |
tree | 86129b34ecb5655a7b22f2bb1cc4e45d734fd01c /devbot/config.py | |
parent | 1226f3dabfef23217d6052b42e18eb7340f5a7f4 (diff) |
Allow the config to require a full build
Diffstat (limited to 'devbot/config.py')
-rw-r--r-- | devbot/config.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/devbot/config.py b/devbot/config.py index dba6709..3a396cd 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -247,7 +247,14 @@ def _read_index(dir_name, extra=[]): with open(os.path.join(index_dir, "index.json")) as f: files.extend(json.load(f)) return [os.path.join(index_dir, json_file) for json_file in files] - + +def get_full_build(): + config = None + with open(os.path.join(config_dir, "config.json")) as f: + config = json.load(f) + + return config["full_build"] + def load_packages(): packages = {} |