diff options
author | Pablo Barciela <[email protected]> | 2020-04-14 18:12:56 +0200 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2020-04-14 18:41:26 +0200 |
commit | c487bcf9424fee7f8e7d6f6ca1e90f5a5c3574e9 (patch) | |
tree | 6d3c0bb53798d2cfd1b28c207221f74be5fee9d7 | |
parent | 4aabe8137e07aa5d6656b9db68ca14ec15b4c66c (diff) | |
download | pluma-c487bcf9424fee7f8e7d6f6ca1e90f5a5c3574e9.tar.bz2 pluma-c487bcf9424fee7f8e7d6f6ca1e90f5a5c3574e9.tar.xz |
Travis CI: debian build: add -Wsign-compare -Wunused-parameter to CFLAGS
-rw-r--r-- | .build.yml | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -132,6 +132,11 @@ 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 + - ./autogen.sh - scan-build $CHECKERS ./configure --enable-compile-warnings=maximum - if [ $CPU_COUNT -gt 1 ]; then @@ -139,9 +144,6 @@ build_scripts: - 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} == "fedora" ];then |