From ebf654273dbbacd22918335eddc91e8abb2c0c97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sat, 5 Feb 2022 11:43:18 +0100 Subject: [PATCH] createrelease: updated bughunting command --- createrelease | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/createrelease b/createrelease index 6801eee71..bb7b1c62c 100755 --- a/createrelease +++ b/createrelease @@ -14,7 +14,7 @@ # ./cppcheck -D__CPPCHECK__ --std=c++11 --library=cppcheck-lib --enable=style --inconclusive --inline-suppr --suppress=bitwiseOnBoolean --suppress=shadowFunction --suppress=useStlAlgorithm --suppress=*:externals/picojson.h --suppress=functionConst --suppress=functionStatic --xml cli gui/*.cpp lib 2> selfcheck.xml # # check --bug-hunting output: -# make clean && make -j4 USE_Z3=yes && ./cppcheck -D__CPPCHECK__ --bug-hunting lib +# make clean && make -j4 USE_Z3=yes CXXFLAGS=-O2 MATCHCOMPILER=yes && ./cppcheck -D__CPPCHECK__ --bug-hunting lib # # Update translations # lupdate gui.pro