diff options
| -rw-r--r-- | .build.yml | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -149,8 +149,16 @@ build_scripts: - fi - if [ $CPU_COUNT -gt 1 ]; then + - if [ ${DISTRO_NAME} == "debian" ];then + - scan-build $CHECKERS --keep-cc --use-cc=clang --use-c++=clang++ -o html-report make -j $CPU_COUNT + - make clean + - fi - scan-build $CHECKERS --keep-cc -o html-report make -j $CPU_COUNT - else + - if [ ${DISTRO_NAME} == "debian" ];then + - scan-build $CHECKERS --keep-cc --use-cc=clang --use-c++=clang++ -o html-report make + - make clean + - fi - scan-build $CHECKERS --keep-cc -o html-report make - fi |