diff options
| author | Damien George <damien@micropython.org> | 2025-01-14 17:17:22 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-01-15 16:48:10 +1100 |
| commit | d533c9067a3a2709d56304944e5142ff71830c8d (patch) | |
| tree | dd2e46fad2be4a0263a2065ac5b58b7bfd2f5274 /tools/autobuild/build-downloads.py | |
| parent | ca71df0081ea634105beebaea063cdca8ef6a9a3 (diff) | |
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 <damien@micropython.org>
Diffstat (limited to 'tools/autobuild/build-downloads.py')
| -rwxr-xr-x | tools/autobuild/build-downloads.py | 5 |
1 files 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: |