projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9c351d5 15c311a)
Merge pull request #3011 from akoeplinger/ci-fixes
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 18 May 2016 15:18:38 +0000 (17:18 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 18 May 2016 15:18:38 +0000 (17:18 +0200)
[ci] Move setting CFLAGS and MONO_CHECK_MODE into the run-jenkins.sh script


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono