mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-16 18:12:45 +01:00
6349d91277
dist/tools/build_system_sanity_check: BUG fix errors being ignored |
||
---|---|---|
.. | ||
check.sh |