diff options
| -rw-r--r-- | .build.yml | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -135,21 +135,24 @@ before_scripts: - make install build_scripts: + - if [ ${DISTRO_NAME} == "debian" ];then + - export CFLAGS+=" -Wsign-compare -Wunused-parameter" + - cppcheck --enable=warning,style,performance,portability,information,missingInclude . + - fi + + - NOCONFIGURE=1 ./autogen.sh + - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then - - NOCONFIGURE=1 ./autogen.sh - scan-build $CHECKERS ./configure --without-keyring --enable-compile-warnings=maximum - else - - NOCONFIGURE=1 ./autogen.sh - scan-build $CHECKERS ./configure --enable-compile-warnings=maximum - fi + - if [ $CPU_COUNT -gt 1 ]; then - scan-build $CHECKERS --keep-cc -o html-report make -j $CPU_COUNT - else - scan-build $CHECKERS --keep-cc -o html-report make - fi - - if [ ${DISTRO_NAME} == "debian" ];then - - cppcheck --enable=warning,style,performance,portability,information,missingInclude . - - fi after_scripts: - if [ ${DISTRO_NAME} == "debian" ];then |