mirror of
https://github.com/FairRootGroup/FairMQ.git
synced 2025-12-15 07:20:17 +00:00
Fix coverage reporting for FAST_BUILD
This commit is contained in:
committed by
Dennis Klein
parent
e71c9c1121
commit
8b3e3bbe28
@@ -270,6 +270,7 @@ if(FAST_BUILD)
|
|||||||
)
|
)
|
||||||
cotire(${_target})
|
cotire(${_target})
|
||||||
set_target_properties(FairMQ PROPERTIES EXCLUDE_FROM_ALL FALSE)
|
set_target_properties(FairMQ PROPERTIES EXCLUDE_FROM_ALL FALSE)
|
||||||
|
set_target_properties(FairMQ PROPERTIES LABELS coverage)
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user