diff options
author | Jack Lloyd <[email protected]> | 2018-07-13 12:44:42 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-07-13 12:44:42 -0400 |
commit | c313438ba6aee9f332515284bff751acdcbaaff7 (patch) | |
tree | 2f2777c7be73d9e9de7a5752f021548d2eb8756c /configure.py | |
parent | 4dd082ad700d3436530bec46767603c7d53588a6 (diff) |
Set a macro when optimizing for size
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 817d0f914..386f0ba5e 100755 --- a/configure.py +++ b/configure.py @@ -1972,6 +1972,7 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'with_openmp': options.with_openmp, 'with_debug_asserts': options.with_debug_asserts, 'test_mode': options.test_mode, + 'optimize_for_size': options.optimize_for_size, 'mod_list': sorted([m.basename for m in modules]) } |