xuxingliang 17cbaadce8 task: use get_task_name where possible ... Signed-off-by: xuxingliang <xuxingliang@xiaomi.com>		2024-10-25 19:04:02 +08:00
..
m16c/skp16c26	nuttx: remove the unnecessary -pipe build option	2024-08-31 10:22:20 +08:00
rx65n	task: use get_task_name where possible	2024-10-25 19:04:02 +08:00
sh1/us7032evb1	nuttx: remove the unnecessary -pipe build option	2024-08-31 10:22:20 +08:00