projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 02a9cea)
[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)
* [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.


No differences found
my mono mirror. check out Moved to http://github.com/mono/mono