Update check_board_header.py to check for missing ifndefs #2927

Merged
lurch merged 1 commit from board_header_ifndef into develop 2026-05-09 13:23:57 -05:00
lurch commented 2026-05-06 12:16:26 -05:00 (Migrated from github.com)

Any board #defines with a pico_board_cmake_set_default counterpart, or that start with PICO_DEFAULT_, should be wrapped in an #ifndef guard so that they're easy to override.

Also fixes a few board-header errors that this detected.

(as discussed with @will-v-pi in #2919 )

Any board `#define`s with a `pico_board_cmake_set_default` counterpart, or that start with `PICO_DEFAULT_`, should be wrapped in an `#ifndef` guard so that they're easy to override. Also fixes a few board-header errors that this detected. (as discussed with @will-v-pi in #2919 )
kilograham (Migrated from github.com) reviewed 2026-05-06 12:16:26 -05:00
will-v-pi (Migrated from github.com) approved these changes 2026-05-08 07:58:10 -05:00
lurch commented 2026-05-08 11:29:58 -05:00 (Migrated from github.com)

Note that this has a merge-conflict with the check_board_header.py changes that are (now) in #2919 , so whichever PR gets merged first, the other one will need rebasing.

Note that this has a merge-conflict with the `check_board_header.py` changes that are (now) in #2919 , so whichever PR gets merged first, the other one will need rebasing.
Sign in to join this conversation.
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk!2927
No description provided.