diff options
-rw-r--r-- | .build.yml | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -151,8 +151,16 @@ build_scripts: - ./autogen.sh --enable-empty-view - scan-build $CHECKERS ./configure --enable-empty-view --enable-compile-warnings=maximum - 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 + 1 )) + - make clean + - fi - scan-build $CHECKERS --keep-cc -o html-report make -j $(( CPU_COUNT + 1 )) - 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 |