mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-12-10 07:14:36 +01: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
7 lines
152 B
Bash
Executable file
7 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
|