mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-02-06 03:40:02 +00:00
0e5cef3ffa
* Add script to automatically validate board header files * Fix small automatically-found inconsistencies in various board header files * Tweak and add board header file from abandoned PR #1174
8 lines
152 B
Bash
Executable File
8 lines
152 B
Bash
Executable File
#!/bin/bash
|
|
for HEADER in src/boards/include/boards/*.h; do
|
|
tools/check_board_header.py $HEADER
|
|
if [[ $? -ne 0 ]]; then
|
|
break
|
|
fi
|
|
done
|