diff options
author | Jack Lloyd <[email protected]> | 2018-03-14 08:03:28 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-03-14 08:03:28 -0400 |
commit | e4487e872877cb13a03974f741744eff847de801 (patch) | |
tree | 9c0e399238a5df614813e7d15a2deb04e0ea4425 /configure.py | |
parent | ea0ce769791640e883ec4b7f73dcbce4b0399783 (diff) |
Add a facility for debug-mode assertions
When we want to check something but it is to expensive to do
so in normal builds.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 208202519..678a43e64 100755 --- a/configure.py +++ b/configure.py @@ -1872,6 +1872,7 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'with_valgrind': options.with_valgrind, 'with_openmp': options.with_openmp, + 'with_debug_asserts': options.debug_mode, 'mod_list': sorted([m.basename for m in modules]) } |