mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2024-09-29 03:28:49 +08:00
8 lines
152 B
Bash
8 lines
152 B
Bash
|
#!/bin/bash
|
||
|
for HEADER in src/boards/include/boards/*.h; do
|
||
|
tools/check_board_header.py $HEADER
|
||
|
if [[ $? -ne 0 ]]; then
|
||
|
break
|
||
|
fi
|
||
|
done
|