Fix tools/build_all_headers.py to cope with chip-specific headers #2292
+90
−14
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #2220
With
SORT_HEADERS_BY_DIRECTORY = True
it shows you which directory the include files came from (which is the same behaviour as previous versions of this script) with the#if PICO_RP2040
and#if PICO_RP2350
headers at the very endbut with
SORT_HEADERS_BY_DIRECTORY = False
it just outputs a "flattened" list (which more closely matches the big list of header files in https://github.com/raspberrypi/pico-sdk/blob/develop/test/kitchen_sink/kitchen_sink.c ) with the#if PICO_RP2040
and#if PICO_RP2350
headers intermingled with everything else