Update packager

This commit is contained in:
Alexander Kuzmenkov 2020-07-08 12:52:03 +03:00 committed by GitHub
parent 08762dc825
commit 76ef8feb04
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -149,6 +149,8 @@ def parse_env_variables(build_type, compiler, sanitizer, package_type, image_typ
if clang_tidy:
cmake_flags.append('-DENABLE_CLANG_TIDY=1')
# Don't stop on first error to find more clang-tidy errors in one run.
result.append('NINJA_FLAGS=-k0')
if with_coverage:
cmake_flags.append('-DWITH_COVERAGE=1')