From: vkargov <kargov@gmail.com>
Date: Mon, 2 Oct 2017 22:16:39 +0000 (-0700)
Subject: [ci] Small improvements for run-jenkins and collect-coverage. (#5669)
X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=02a9ceaebbefdb2435b5758bc0f3cd1f5abc9d5b;hp=02a9ceaebbefdb2435b5758bc0f3cd1f5abc9d5b;p=mono.git

[ci] Small improvements for run-jenkins and collect-coverage. (#5669)

* [ci] Allow setting custom mono flags for test runs via MONO_TEST_FLAGS.

* [ci] Make the handling of CFLAGS a bit more flexible in run-jenkins.sh.

* [ci] Generalize collect-coverage to handle more targets.
---