[ci] Only build the additional profiles on one arch instead of everywhere
commit962f2a673dbad1d52e184dce6c41593259c8686a
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 30 Nov 2016 13:31:12 +0000 (30 14:31 +0100)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 30 Nov 2016 13:31:12 +0000 (30 14:31 +0100)
treeec89c613bb3830deed37e97ee05051cecddbc075
parent1037af0e60efd0bd3be4edcce39e9ae725ff7e7f
[ci] Only build the additional profiles on one arch instead of everywhere

The additional profiles like monotouch, monodroid etc. are normal
managed code anyway and are the same no matter where they're built
so we can save a lot of CI time by not building them e.g. on slower
ARM bots.
scripts/ci/run-jenkins.sh