diff options
author | raveit65 <[email protected]> | 2022-01-29 15:08:26 +0100 |
---|---|---|
committer | raveit65 <[email protected]> | 2022-01-29 15:19:47 +0100 |
commit | 4a860aca880cda22c6e1d97aa0d6471904943ceb (patch) | |
tree | 135e99863c3cd181de5ca9a70e2c674f2165e69a | |
parent | bb78fe4cb464589ac9670a1f1d31ad52c6a4f3d8 (diff) | |
download | engrampa-4a860aca880cda22c6e1d97aa0d6471904943ceb.tar.bz2 engrampa-4a860aca880cda22c6e1d97aa0d6471904943ceb.tar.xz |
CI: Drop -Wunused-parameter for debian build
-rw-r--r-- | .build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -94,7 +94,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 |