projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edbc5c2) | patch
[ci] Small improvements for run-jenkins and collect-coverage. (#5669)
authorvkargov <kargov@gmail.com>
Mon, 2 Oct 2017 22:16:39 +0000 (15:16 -0700)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 2 Oct 2017 22:16:39 +0000 (00:16 +0200)
commit02a9ceaebbefdb2435b5758bc0f3cd1f5abc9d5b
tree65a280ab6a14fafe4ddc58a8c583c23623c4184ftree | snapshot
parentedbc5c2334e10836479d1cc528c68d4ad5b47440commit | diff
[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.
scripts/ci/collect-coverage.sh diff | blob | history
scripts/ci/run-jenkins.sh diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono