summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNeradoc <neraOnGit@ri1.fr>2021-03-29 19:03:35 +0200
committerNeradoc <neraOnGit@ri1.fr>2021-03-29 19:03:35 +0200
commit38072a139e6b02c394502efe13d827e8d35d947b (patch)
tree6d4c6f09a6948b83b1d263706bd26b2ebef0af34
parentf143e5d04946ab1bf0d8616e773885ac486674c2 (diff)
no default value for support_matrix[board_id]
will raise an error during build if things as not as expected as suggested by @jepler
-rw-r--r--tools/build_board_info.py3
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/build_board_info.py b/tools/build_board_info.py
index c139a5fc5..037bf5e14 100644
--- a/tools/build_board_info.py
+++ b/tools/build_board_info.py
@@ -301,7 +301,6 @@ def generate_download_info():
board_files = os.listdir(board_path.path)
board_id = board_path.name
board_info = board_mapping[board_id]
- board_modules = support_matrix.get(board_id, "[]")
for alias in [board_id] + board_info["aliases"]:
alias_info = board_mapping[alias]
@@ -312,7 +311,7 @@ def generate_download_info():
new_version = {
"stable": new_stable,
"version": new_tag,
- "modules": board_modules,
+ "modules": support_matrix[board_id],
"languages": languages,
"extensions": board_info["extensions"],
}