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()