diff options
| author | Jan Chren <dev.rindeal@gmail.com> | 2019-07-08 20:20:26 +0000 |
|---|---|---|
| committer | Daniel Gustafsson <daniel@yesql.se> | 2019-07-09 12:56:51 +0200 |
| commit | 5fecc4d6267b6dfba023347289ddff66c2521635 (patch) | |
| tree | 8bf9024961329211e36d084ee55d1496cb465bd2 /docs/examples/Makefile.example | |
| parent | efc55b8986970f2feea6c09e62c72e81e553fd88 (diff) | |
configure: fix --disable-code-coverage
This fixes the case when --disable-code-coverage supplied to ./configure
would result in coverage="yes" being set.
Closes #4099
Reviewed-by: Daniel Gustafsson <daniel@yesql.se>
Diffstat (limited to 'docs/examples/Makefile.example')
0 files changed, 0 insertions, 0 deletions