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

Windows build fix.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-01-17 12:58:32 +00:00
parent 625681f82f
commit 0fae048e3e
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

@ -316,7 +316,7 @@ def main():
mk_dist_dirs() mk_dist_dirs()
cp_licenses() cp_licenses()
cp_vs_runtimes() cp_vs_runtimes()
mk_zip() mk_zips()
main() main()