aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2018-07-13 12:44:42 -0400
committerJack Lloyd <[email protected]>2018-07-13 12:44:42 -0400
commitc313438ba6aee9f332515284bff751acdcbaaff7 (patch)
tree2f2777c7be73d9e9de7a5752f021548d2eb8756c /configure.py
parent4dd082ad700d3436530bec46767603c7d53588a6 (diff)
Set a macro when optimizing for size
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py1
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])
}