mirror of
https://github.com/apache/nuttx.git
synced 2026-05-12 01:42:49 +08:00
150e52769b
fix build error. Signed-off-by: zhanghongyu <zhanghongyu@xiaomi.com>