mirror of
https://github.com/apache/nuttx.git
synced 2026-06-10 11:23:34 +08:00
c95a1cc98b
remove the leftover `wget` as curl is used triggers a host not found on my machine Signed-off-by: Alexander Merkle <alexander.merkle@lauterbach.com>