On Thu, Sep 15, 2022 at 7:06 AM TimH <t...@jti.uk.com.invalid> wrote: > Perhaps this needs to be added to the configure.sh help text?
I agree! See PR-7103: https://github.com/apache/incubator-nuttx/pull/7103 Help with reviewing that will be appreciated! Nathan