[ci] Add CI_TAGS option for --disable-mcs-build
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 7 Aug 2017 14:28:47 +0000 (16:28 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 7 Aug 2017 14:28:47 +0000 (16:28 +0200)
commit4e328954407cf7b43ad5806336dcb30acca83e68
treee4ad734d7616f76908d92ce041196845edcac44d
parentddcdec031419d1db278fc636e421555f2c9a29ad
[ci] Add CI_TAGS option for --disable-mcs-build

Useful if you don't want to build the class libraries e.g. for
some static analysis of the runtime.
scripts/ci/run-jenkins.sh