mirror of
https://github.com/apache/nuttx.git
synced 2026-05-16 05:27:45 +08:00
b88f86ba5d
Executable files called "run" don't pass checkpath verification, so we change the name to "run.sh" Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>