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)
commit4cbd7a6ab66010860db5f7cc9fbd6edb27c8a216
tree47f88c35b4e6dd948f0fedf95b060c3c9f822b76
parent9c351d5028d37c81443bf375c75640b986319907
parent15c311adabbb5a8a3fac208bd24f1ac8a6827436
Merge pull request #3011 from akoeplinger/ci-fixes

[ci] Move setting CFLAGS and MONO_CHECK_MODE into the run-jenkins.sh script