new coverage_push_tool resource
@@ -3,7 +3,7 @@ RESOURCES_LIBRARY()
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:1369282350)
+ DECLARE_EXTERNAL_RESOURCE(COVERAGE_PUSH_TOOL sbr:1381822771)
ELSE()
MESSAGE(FATAL_ERROR Unsupported host for COVERAGE_PUSH_TOOL)
ENDIF()
