[Tile-serving] [openstreetmap/osm2pgsql] Fiddle with coverage report (#1133)

[Jochen Topf]

* Have better title
* Delete stats after building report so that the next run starts with
  empty stats.
* Remove unnecessary exclude
You can view, comment on, or merge this pull request online at:

  https://github.com/openstreetmap/osm2pgsql/pull/1133

-- Commit Summary --

  * Fiddle with coverage report

-- File Changes --

    M CMakeLists.txt (5)

-- Patch Links --

https://github.com/openstreetmap/osm2pgsql/pull/1133.patch
https://github.com/openstreetmap/osm2pgsql/pull/1133.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/osm2pgsql/pull/1133
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tile-serving/attachments/20200424/ccc7ebad/attachment.htm>