1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/buildsystem_sanity_check
Juan I Carrano 6349d91277
Merge pull request #11695 from cladmi/pr/buildsystem_sanity_check/bug/never_returns_error
dist/tools/build_system_sanity_check: BUG fix errors being ignored
2019-06-26 11:58:11 +02:00
..
check.sh Merge pull request #11695 from cladmi/pr/buildsystem_sanity_check/bug/never_returns_error 2019-06-26 11:58:11 +02:00