projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4cbd7a6 388a9c9)
Merge pull request #3007 from directhex/use-mingw64
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 18 May 2016 15:40:15 +0000 (17:40 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 18 May 2016 15:40:15 +0000 (17:40 +0200)
[jenkins] Use mingw64 to build, not 32

1  2 
scripts/ci/run-jenkins.sh patch | diff1 | diff2 | blob | history

diff --cc scripts/ci/run-jenkins.sh
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono