mirror of
https://github.com/apache/nuttx.git
synced 2026-05-18 08:54:05 +08:00
563125fde3
This pr will avoid targets with the same name can not be archive in the same library Signed-off-by: chao an <anchao@xiaomi.com>