mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

build fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-01-16 14:08:21 +00:00
parent 340ba7780e
commit 24e4f19d76
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist.py
View file

@ -315,7 +315,7 @@ def main():
init_project_def() init_project_def()
mk_dist_dirs() mk_dist_dirs()
cp_licenses() cp_licenses()
cp_vs_runtime() cp_vs_runtimes()
mk_zip() mk_zip()
main() main()