diff options
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, |