diff options
| author | Paweł Bylica <chfast@gmail.com> | 2018-07-04 21:12:08 +0800 |
|---|---|---|
| committer | Paweł Bylica <chfast@gmail.com> | 2018-07-24 23:12:41 +0800 |
| commit | 807f7533d9e56eea0c137d2147293d9a6bab279a (patch) | |
| tree | 29a736ac70eceedd233901990ab1f7402718cbc0 /scripts/docker_deploy.sh | |
| parent | 721b7bbf70cd7e54c5dc49bf61851eaa1ab12e9a (diff) | |
| download | dexon-solidity-807f7533d9e56eea0c137d2147293d9a6bab279a.tar.gz dexon-solidity-807f7533d9e56eea0c137d2147293d9a6bab279a.tar.zst dexon-solidity-807f7533d9e56eea0c137d2147293d9a6bab279a.zip | |
CMake: Add option COVERAGE
This also removed PROFILE option that also adds --coverage flag. Instead you can use -DCMAKE_EXE_LINKER_FLAGS=-lprofiler. The profiling options can be added back when better investigated (e.g. -lprofiler vs -pg options).
Diffstat (limited to 'scripts/docker_deploy.sh')
0 files changed, 0 insertions, 0 deletions