[jenkins] Use mingw64 to build, not 32
commit0ad934fb255ffc6d9b25f845c0b51590eb6b1201
authorJo Shields <jo.shields@xamarin.com>
Wed, 18 May 2016 09:48:01 +0000 (18 10:48 +0100)
committerJo Shields <jo.shields@xamarin.com>
Wed, 18 May 2016 09:48:01 +0000 (18 10:48 +0100)
tree56610d3e092c02d2b43c53424618975ef15ae9b9
parentd57d91565b68717d80a60234fcefe558a02d8886
[jenkins] Use mingw64 to build, not 32
scripts/ci/run-jenkins.sh