diff options
| author | Sergio Martins <smartins@kde.org> | 2018-03-03 15:31:09 +0000 |
|---|---|---|
| committer | Sergio Martins <smartins@kde.org> | 2018-03-03 15:42:37 +0000 |
| commit | e71ee5fc25491a4530ad5b6c309d8b26f699d800 (patch) | |
| tree | 08c2c08d6b0d05fb22b7e934ea6c506d62dc5b66 /dev-scripts | |
| parent | 4418c519f69f819a3e62da4bde07ab0f52e7da6b (diff) | |
checks.json: 'categories' is not a mandatory key
Diffstat (limited to 'dev-scripts')
| -rwxr-xr-x | dev-scripts/generate.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-scripts/generate.py b/dev-scripts/generate.py index e5f94e17..d48aabbb 100755 --- a/dev-scripts/generate.py +++ b/dev-scripts/generate.py @@ -184,7 +184,8 @@ def load_json(filename): try: c.name = check['name'] c.level = check['level'] - c.categories = check['categories'] + if 'categories' in check: + c.categories = check['categories'] for cat in c.categories: if cat not in _available_categories: print('Unknown category ' + cat) |