mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-08-06 06:02:39 +03:00
6f856ee4eb
* Add action to check board headers when modified * Fix invalid escape warning * Check for more board header errors before exiting script * Also run when action file changes * Add back newline at end of check_all_board_headers.sh * Remove python install step * `e.__str__()` -> `str(e)`
13 lines
189 B
Bash
Executable File
13 lines
189 B
Bash
Executable File
#!/bin/bash
|
|
|
|
EXIT_CODE=0
|
|
|
|
for HEADER in src/boards/include/boards/*.h; do
|
|
tools/check_board_header.py $HEADER
|
|
if [[ $? -ne 0 ]]; then
|
|
EXIT_CODE=1
|
|
fi
|
|
done
|
|
|
|
exit $EXIT_CODE
|