From d533c9067a3a2709d56304944e5142ff71830c8d Mon Sep 17 00:00:00 2001 From: Damien George Date: Tue, 14 Jan 2025 17:17:22 +1100 Subject: [PATCH] tools/autobuild: Don't allow a board to change its ID. All board IDs are now the board directory name. Signed-off-by: Damien George --- tools/autobuild/build-downloads.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tools/autobuild/build-downloads.py b/tools/autobuild/build-downloads.py index c03d98aa5..d6f6d0324 100755 --- a/tools/autobuild/build-downloads.py +++ b/tools/autobuild/build-downloads.py @@ -65,9 +65,8 @@ def main(repo_path, output_path): ) sys.exit(1) - # Use "id" if specified, otherwise default to board dir (e.g. "PYBV11"). - # We allow boards to override ID for the historical build names. - blob["id"] = blob.get("id", os.path.basename(board_dir)) + # The ID of a board is the board directory (e.g. "PYBV11"). + blob["id"] = os.path.basename(board_dir) # Check for duplicate board IDs. if blob["id"] in board_ids: