createrelease: updated bughunting command

makesoftwaresafe · Feb 5, 2022 · ebf6542 · ebf6542
1 parent 3ac4eab
commit ebf6542
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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