OSDN Git Service

Merge changes from topic "coverage_flush"
authorPirama Arumuga Nainar <pirama@google.com>
Fri, 29 Mar 2019 15:57:32 +0000 (15:57 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 29 Mar 2019 15:57:32 +0000 (15:57 +0000)
commit41cb9915b20d3029cd195a6a9b3152eabf4daeea
treee7e6104b77f645ccf393e963aa8839084261ea48
parentd2515c56d432a487a589788715bbc24b640a8249
parent0d25222fdcb05fe77b7d22360dca2700b0434e4d
Merge changes from topic "coverage_flush"

* changes:
  Helper static library for coverage/profile collection
  Add OWNERS for system/extras/toolchain-extras