blob: 675569dbe59169e47accc2ae2daa1f2aa282766f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
RESOURCES_LIBRARY()
OWNER(heretic)
IF(USE_SYSTEM_COVERAGE_PUSH_TOOL)
MESSAGE(WARNING System coverage push tool $USE_SYSTEM_COVERAGE_PUSH_TOOL will be used)
ELSEIF(HOST_OS_LINUX)
DECLARE_EXTERNAL_RESOURCE(COVERAGE_PUSH_TOOL sbr:1748856682)
ELSE()
MESSAGE(FATAL_ERROR Unsupported host for COVERAGE_PUSH_TOOL)
ENDIF()
END()
|
