Code review comment for lp:~klaus-halfmann/widelands/bug-1395278-wui

Another way to run codecheck that works better for me is:

cmake/codecheck/CodeCheck.py src/* | grep -v "src/third_party"

More on CodeCheck and regression tests: https://wl.widelands.org/wiki/RegressionTests/