diff options
| author | Jack Lloyd <[email protected]> | 2017-11-16 21:01:48 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-16 21:03:43 -0500 |
| commit | 198cd0dda6d0944244b6166bc7aabb8d8268a683 (patch) | |
| tree | 8642138ac6f1dd4fa96c91918840085bb0a34196 /configure.py | |
| parent | d1954b4702694f0d95e29fabde6c9d88b379e29c (diff) | |
Prefix execution of install.py with Python binary
Fixes GH #1297
This is done even on GNU make builds, since the same issue
affects MinGW
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 88a21a6c7..49d2b2ce2 100755 --- a/configure.py +++ b/configure.py @@ -2050,6 +2050,7 @@ def create_template_vars(source_paths, build_config, options, modules, cc, arch, 'fuzzer_type': '#define BOTAN_FUZZER_IS_%s' % (options.build_fuzzers.upper()) if options.build_fuzzers else '', 'fuzzer_libs': '' if options.fuzzer_lib is None else '%s%s' % (cc.add_lib_option, options.fuzzer_lib), + 'python_exe': sys.executable, 'ar_command': cc.ar_command or osinfo.ar_command, 'ranlib_command': osinfo.ranlib_command(), 'install_cmd_exec': osinfo.install_cmd_exec, |