mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
bd149e7db9
Separate thread names from DEVELHELP so thread names can be enabled in non-development/debug builds when required/desired. THREAD_NAMES will be enabled by default then DEVELHELP is set to 1. |
||
---|---|---|
.. | ||
Makefile | ||
ps.c |