diff options
author | raveit65 <[email protected]> | 2022-01-30 22:17:11 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2022-01-30 22:17:11 +0100 |
commit | 685042aef23656f877515dbd9b241a154e1679d0 (patch) | |
tree | 6bcc66b9f7a703239b256c6d9a37a36aec4579dd | |
parent | ed764f51e22708d0772c11cd751b034bff3dd9ea (diff) | |
download | caja-685042aef23656f877515dbd9b241a154e1679d0.tar.bz2 caja-685042aef23656f877515dbd9b241a154e1679d0.tar.xz |
CI: Drop -Wunused-parameter for debian build
-rw-r--r-- | .build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -135,7 +135,7 @@ before_scripts: build_scripts: - if [ ${DISTRO_NAME} == "debian" ];then - - export CFLAGS+=" -Wsign-compare -Wunused-macros -Wunused-parameter" + - export CFLAGS+=" -Wsign-compare -Wunused-macros" - cppcheck --enable=warning,style,performance,portability,information,missingInclude . - fi |