mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-21 20:02:05 +00:00
Code Activity

fix spaces

Browse source
This commit is contained in:
jofleish 2022-08-23 12:11:58 -04:00
parent 9901391b8a
commit b685ddbda6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist.py
View file

@ -139,7 +139,7 @@ def mk_build_dir(path, x64):
if DOTNET_KEY_FILE is not None: if DOTNET_KEY_FILE is not None:
opts.append('--dotnet-key=' + DOTNET_KEY_FILE) opts.append('--dotnet-key=' + DOTNET_KEY_FILE)
if ASSEMBLY_VERSION is not None: if ASSEMBLY_VERSION is not None:
opts.append('--assembly-version='+ASSEMBLY_VERSION) opts.append('--assembly-version=' + ASSEMBLY_VERSION)
if JAVA_ENABLED: if JAVA_ENABLED:
opts.append('--java') opts.append('--java')
if x64: if x64: