Update SuperBuild.cmake (#238)

This commit is contained in:
Pablo Garrido
2025-03-10 07:44:10 +01:00
parent e77dca435b
commit a939d1d407
+1 -1
View File
@@ -20,7 +20,7 @@ enable_language(C)
enable_language(CXX) enable_language(CXX)
unset(microxrcedds_agent_DIR CACHE) unset(microxrcedds_agent_DIR CACHE)
find_package(microxrcedds_agent 2 EXACT QUIET) find_package(microxrcedds_agent 3 EXACT QUIET)
if(NOT xrceagent_FOUND) if(NOT xrceagent_FOUND)
ExternalProject_Add(microxrcedds_agent ExternalProject_Add(microxrcedds_agent
GIT_REPOSITORY GIT_REPOSITORY