Add a github commit test to check header files for missing extern "C" #2865

Closed
opened 2026-03-13 07:27:20 -05:00 by peterharperuk · 3 comments
peterharperuk commented 2026-03-13 07:27:20 -05:00 (Migrated from github.com)

I suggest something simple to be going on with...

grep -r -L '^extern "C"' . --include '*.h' | grep '/include/pico/'

Find header files in "/include/pico/" that don't contain extern "C". This will catch the worst cases?
Just throw an error if the list of offending headers changes?

I suggest something simple to be going on with... ``` grep -r -L '^extern "C"' . --include '*.h' | grep '/include/pico/' ``` Find header files in "/include/pico/" that don't contain extern "C". This will catch the worst cases? Just throw an error if the list of offending headers changes?
peterharperuk commented 2026-03-13 07:27:54 -05:00 (Migrated from github.com)

@lurch You know how to do this - right?

@lurch You know how to do this - right?
lurch commented 2026-03-13 08:08:20 -05:00 (Migrated from github.com)

@will-v-pi has more familiarity with GitHub CI than I do 🙂 But I can certainly take a look at this next week.

@will-v-pi has more familiarity with GitHub CI than I do 🙂 But I can certainly take a look at this next week.
lurch commented 2026-07-01 09:38:59 -05:00 (Migrated from github.com)

Fixed on develop

Fixed on `develop`
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#2865
No description provided.