Jim O'Brien bd149e7db9 thread: Add THREAD_NAMES make flag
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.
2020-09-10 10:08:27 +02:00
..
2017-02-16 17:11:22 +01:00
2019-05-02 12:09:37 +02:00
2020-04-21 15:10:56 +02:00
2020-09-10 10:08:27 +02:00
2020-03-30 17:02:08 +02:00
2020-04-28 13:35:05 +02:00
2020-08-31 16:45:13 +02:00
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2020-09-10 10:08:27 +02:00