Closed jrn90 closed 2 years ago
The NuttX source code is not scanned by running make cppcheck
or make clang-tidy
. The target for make cppcheck
and make clan-tidy
is px4_sitl_default which compiles for POSIX. The targets can be found in the Makefile.
This config option is set with CONFIG_PLATFORM_POSIX=y
inside of a *.px4board file. The default is NuttX which is set in the Kconfig file.
This causes cppcheck and clang-tidy to not scan any of the NuttX source code because it is not used in either of these builds.
When is the NuttX source code scanned by the following commands:
make cppcheck
make clang-tidy
Acceptance Criteria
make cppcheck
is ran against px4 & results are captured to determine when/if NuttX is scannedmake clang-tidy
is ran against px4 & results are captured to determine when/if NuttX is scanned