tree c4c7cee8ae851457a88a7d5fdf0e774ca773f260
parent 0a1d0d43041a9b076c295d384bab740cc9a2bba0
author Radek Krejci <rkrejci@cesnet.cz> 1558081134 +0200
committer Radek Krejci <rkrejci@cesnet.cz> 1558081134 +0200

build CHANGE coverage information

By default, switch off generating coverage information.

Due to the recent changes of the tests building, it is necessary to add
coverage information also to the library objects, so do it only when
explicitely stated that the coverage target will be used.