File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 1010# ./cppcheck -D__CPPCHECK__ --library=cppcheck-lib --enable=style --inconclusive --inline-suppr --suppress=bitwiseOnBoolean --suppress=shadowFunction --suppress=useStlAlgorithm --suppress=*:externals/picojson.h cli gui/*.cpp --suppress=functionConst --suppress=functionStatic -q lib
1111#
1212# check --bug-hunting output:
13- # ./cppcheck -D__CPPCHECK__ --bug-hunting lib
13+ # make clean && make -j4 USE_Z3=yes && ./cppcheck -D__CPPCHECK__ --bug-hunting lib
1414#
1515# Update translations
1616# lupdate gui.pro
1717#
1818# Update copyright year
19- # git diff 1.90 -- */*.cpp */*.h | grep '^diff --git a/' | sed 's|.* b/||' | xargs sed -i 's/Copyright (C) 2007-201 ./Copyright (C) 2007-2020 /'
19+ # git diff 2.3 -- */*.cpp */*.h | grep '^diff --git a/' | sed 's|.* b/||' | xargs sed -i 's/Copyright (C) 2007-20[12] ./Copyright (C) 2007-2021 /'
2020# git diff | grep '^diff --git a/'
2121#
2222# Make sure "cppcheck --errorlist" works. For example with:
You can’t perform that action at this time.
0 commit comments