diff options
author | Jack Lloyd <[email protected]> | 2020-12-03 11:37:40 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2020-12-03 13:48:18 -0500 |
commit | 272de51a8fa95759aa4583813157fe0751bc3077 (patch) | |
tree | 5be3f79cbfcaabf0ac49770cab87b504506aa0cf /configure.py | |
parent | 04a43dfc5177dc467734988bdc71cb62fdce763f (diff) |
Improve checks and avoid hard-coding the major version number
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 f7ab04e65..4ed480722 100755 --- a/configure.py +++ b/configure.py @@ -2108,6 +2108,7 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'os': options.os, 'arch': options.arch, + 'compiler': options.compiler, 'cpu_family': arch.family, 'endian': options.with_endian, 'cpu_is_64bit': arch.wordsize == 64, |