mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-15 17:43:51 +01:00
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.