wget is missing from some system (like macOS and Windows native), it's better to use curl to simplify build environment. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
since nuttx/tools/Config.mk will do it for us Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
Signed-off-by: Huang Qi <huangqi3@xiaomi.com> Change-Id: Ie6cb7a37c34ef3bd63390eed905b6fb76c31a3d9