Home
last modified time | relevance | path

Searched refs:board_header (Results 1 – 1 of 1) sorted by relevance

/hal_rpi_pico-latest/tools/
Dcheck_board_header.py49 board_header = sys.argv[1] variable
50 if not os.path.isfile(board_header):
51 raise Exception("{} doesn't exist".format(board_header))
52 board_header_basename = os.path.basename(board_header)
54 expected_include_suggestion = "/".join(board_header.split("/")[-2:])
86 … raise Exception("{}:{} Expected \"{}\" to be all uppercase".format(board_header, lineno, name))
90 …("{}:{} Conflicting values for pico_cmake_set {} ({} and {})".format(board_header, lineno, name, …
93 …arn("{}:{} Multiple values for pico_cmake_set {} ({} and {})".format(board_header, lineno, name, …
106 … raise Exception("{}:{} Expected \"{}\" to be all uppercase".format(board_header, lineno, name))
132 … read_defines_from(os.path.join(os.path.dirname(board_header), os.path.basename(include)), defines)
[all …]