diff options
author | bloodstalker <thabogre@gmail.com> | 2017-01-28 00:00:48 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2017-01-28 00:00:48 +0000 |
commit | 089975fd801a96f16d6f0b30342fd807c07d09a3 (patch) | |
tree | ecaabcef2c4038e510c242f82ffe4407c0a57b28 /extra-tools/dumper.sh | |
parent | changed a character in the report node/element name (diff) | |
download | mutator-089975fd801a96f16d6f0b30342fd807c07d09a3.tar.gz mutator-089975fd801a96f16d6f0b30342fd807c07d09a3.zip |
we have to use gcov 4.2 since thats what llvm generates
Diffstat (limited to 'extra-tools/dumper.sh')
0 files changed, 0 insertions, 0 deletions