diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-01-10 22:14:21 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-01-10 22:14:21 +0300 |
| commit | 0dcedd986aa0eb8129df2b934a5fc4ebe35041d8 (patch) | |
| tree | 2f0fa52803da73a50ae2bdc9a58ef613b3cafc4d /src/resources/map | |
| parent | 571cf00b4aac82777c7c1efc3e8ac6d5bc459c9c (diff) | |
| download | mv-0dcedd986aa0eb8129df2b934a5fc4ebe35041d8.tar.gz mv-0dcedd986aa0eb8129df2b934a5fc4ebe35041d8.tar.bz2 mv-0dcedd986aa0eb8129df2b934a5fc4ebe35041d8.tar.xz mv-0dcedd986aa0eb8129df2b934a5fc4ebe35041d8.zip | |
Add configure flag with_gcov for create coverage data.
Disabled by default.
Diffstat (limited to 'src/resources/map')
0 files changed, 0 insertions, 0 deletions