dist/tools: add build system sanity check script#10179

Merged

MrKevinWeiss merged 1 commit intoRIOT-OS:masterfrom cladmi:pr/dist/tools/build_system/check

Nov 19, 2018

+62

Commits on Nov 16, 2018

dist/tools: add build system sanity check script
cladmi
committed