diff options
| author | Matthias Gierlings <[email protected]> | 2018-04-10 22:10:37 +0200 |
|---|---|---|
| committer | Matthias Gierlings <[email protected]> | 2018-04-12 22:44:28 +0200 |
| commit | eae170db2a6f0461cfe2f55b84ae4e89bd719a74 (patch) | |
| tree | f9b9297df1a3e389a5fa44d70487cc81b87d56fa /configure.py | |
| parent | 6a9557cc5528ec01737e77b67959cba8778f1265 (diff) | |
Codecov - cover MT code in XMSS_PrivateKey
Codecov does not reach all parts of the `XMSS_PrivateKey` code because too few
cores are detected during the CI run. To cover the missed codepaths always
return a large enough core count if botan is compiled with coverage.
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 26a5ba8a2..bf4cf1365 100755 --- a/configure.py +++ b/configure.py @@ -1857,6 +1857,8 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'build_fuzzers': options.build_fuzzers, + 'build_coverage' : options.with_coverage_info or options.with_coverage, + 'symlink_shared_lib': options.build_shared_lib and shared_lib_uses_symlinks(), 'libobj_dir': build_paths.libobj_dir, |