diff options
author | Jack Lloyd <[email protected]> | 2016-08-17 11:37:07 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-08-17 11:37:07 -0400 |
commit | 8d7087066a5343a6f142643cf50d55a7681746a3 (patch) | |
tree | bb25477a4e321830820ae77c450d592e6a9a39b3 | |
parent | bf990c7fc77990cf8e43b8f1bd769cd23bfbbcf7 (diff) | |
parent | c66994184ce89bf827ed42eb474b0913fb25bb39 (diff) |
Merge PR #588 Fix install after GH #584
-rwxr-xr-x | src/scripts/install.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/install.py b/src/scripts/install.py index 33a316ad4..799d8ea4e 100755 --- a/src/scripts/install.py +++ b/src/scripts/install.py @@ -134,7 +134,7 @@ def main(args = None): 'botan') out_dir = process_template('%{out_dir}') - app_exe = process_template('botan%{program_suffix}') + app_exe = process_template('botan%{program_suffix}') if str(cfg['os']) != "windows" else 'botan-cli.exe' for d in [options.destdir, lib_dir, bin_dir, target_doc_dir, target_include_dir]: makedirs(d) |