为Arduino代码库配置Coverity检查时遇“No files were emitted”错误求助

大家好，我最近碰到个问题想请教各位：我有一个用Arduino IDE构建的代码仓库，现在想给它配置Coverity静态代码检查。我尝试用arduino-cli配合cov-build来操作，结果一直报错“No files were emitted”。下面是我执行的命令：

执行的命令 #

(cov_venv) npy:~/coverity_checker/coverity-checker$ "${COVERITY}/bin/cov-configure" --compiler "${AVR_GCC_PATH}/avr-g++" --comptype gcc --config "${COVERITY_CONFIG_PATH}"

内容来源于stack exchange