projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88a90e5) | patch
[ci] Add the collect-coverage tag for use on Jenkins. (#4912)
authorvkargov <kargov@gmail.com>
Mon, 22 May 2017 12:43:28 +0000 (05:43 -0700)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 22 May 2017 12:43:28 +0000 (14:43 +0200)
commiteb18b8c0deaaf90a7a9cf807693782cdafc801c1
tree7747b81ab03f2bae6636c21a989577d5e059ded0tree | snapshot
parent88a90e5c2092bec7ff992936aa7a165e07b56557commit | diff
[ci] Add the collect-coverage tag for use on Jenkins. (#4912)

* [ci] Add the collect-coverage tag for use on Jenkins.

* Move collect-coverage up so we don't set different values for -O
scripts/ci/run-jenkins.sh diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono