Skip to content

dist/tools/build_system_sanity_check: check BOARD set as ?=#12009

Merged
jcarrano merged 2 commits intoRIOT-OS:masterfrom cladmi:pr/application/board_equal/bugAug 20, 2019

Commits

Commits on Aug 14, 2019