Skip to content

dist/tools/buildsystem_sanity_check: check no PORT exports#12209

Merged
jcarrano merged 1 commit intoRIOT-OS:masterfrom cladmi:pr/buildsystem_sanity_check/port_not_exportedSep 12, 2019
+1

Commits

Commits on Sep 12, 2019