diff options
author | 2015-11-20 20:35:28 -0800 | |
---|---|---|
committer | 2015-11-20 20:35:28 -0800 | |
commit | ceb7318d794b4174e18364f6780a5d20e6249e23 (patch) | |
tree | f8d39e5d649add5e0ea65d8778cee17aa4d6e943 /src/core | |
parent | 4dd8f43970f59b062433c5bb48388a78c0c09984 (diff) | |
parent | 6b9527c0c1a5b2581fff3a75edfb5654d3aeecc7 (diff) |
Merge pull request #4195 from adelez/fix_gcov
Skip OjbC when running code coverage.
Diffstat (limited to 'src/core')
0 files changed, 0 insertions, 0 deletions