File: check_all_board_headers.sh

package info (click to toggle)
pico-sdk 2.1.1-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 26,552 kB
  • sloc: ansic: 146,841; asm: 13,423; python: 2,417; cpp: 2,171; yacc: 381; lex: 270; makefile: 32; sh: 13; javascript: 13
file content (7 lines) | stat: -rwxr-xr-x 152 bytes parent folder | download 
1
2
3
4
5
6
7
 
#!/bin/bash
for HEADER in src/boards/include/boards/*.h; do
    tools/check_board_header.py $HEADER
    if [[ $? -ne 0 ]]; then
      break
    fi
done