projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37c800c) | patch
Fix win-build script to use MinGW-w64 by default
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 15 Mar 2017 08:25:39 +0000 (01:25 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 15 Mar 2017 08:26:49 +0000 (01:26 -0700)
commit2e23d9af175b6c10879bea285582e6c57c520f20
tree0ba33fe7f2140896f7e0cb6052e7e2b5eac2976ctree
parent37c800cc6b7e6308482726a32e2353b63f63db48commit | diff
Fix win-build script to use MinGW-w64 by default

Previous changes to the win-build script left the script in an
inconsistent state: the script was updated to refer to MinGW-w64 but the
default host was still referring to MinGW.
contrib/win-build diff | blob | history