mirror of
https://github.com/apache/nuttx.git
synced 2026-05-12 01:42:49 +08:00
1ffa009c8b
This reverts commit 79af7fbf4e.
Because:
* btashton reported some issues in local builds:
https://github.com/apache/incubator-nuttx/pull/603#issuecomment-602264860
* this might be related to the current CI breakage:
> /bin/sh: 1: /__w/incubator-nuttx/incubator-nuttx/nuttx/tools/mkdeps: not found