diff options
| author | emkael <emkael@tlen.pl> | 2022-02-19 16:04:11 +0100 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2022-02-19 16:04:11 +0100 |
| commit | 2b031079cc1b70c73e9a96ed50054da248fbb91f (patch) | |
| tree | 0eede35943e365aad226a2253ae90ddb5100a7dc | |
| parent | 1e05bb4e3a58ab0d817634d46499db47faad5022 (diff) | |
Don't try to generate boards ZIP if it's not configured
| -rw-r--r-- | boards/generate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boards/generate.py b/boards/generate.py index ed96fee..33ae4fd 100644 --- a/boards/generate.py +++ b/boards/generate.py @@ -90,7 +90,7 @@ for config_path in config_dir.glob('*.json'): else: set_finished = False output_files += set_files - if set_finished: + if set_finished and 'zip' in dealset: output_files.append( ensure_zip(dealset['zip']['id'], config_name, set_files)) set_content += '<tr>' |