diff --git a/config/FindXenomai.cmake b/config/FindXenomai.cmake index 8919c90f3..92a22280b 100644 --- a/config/FindXenomai.cmake +++ b/config/FindXenomai.cmake @@ -157,7 +157,6 @@ if(XENOMAI_XENO_CONFIG) string(REPLACE "-" ";" XENOMAI_VERSION_LIST "${XENOMAI_VERSION_LIST}") # Handle 3.1-dev (git) list(GET XENOMAI_VERSION_LIST 0 XENOMAI_VERSION_MAJOR) list(GET XENOMAI_VERSION_LIST 1 XENOMAI_VERSION_MINOR) - list(GET XENOMAI_VERSION_LIST 2 XENOMAI_VERSION_PATCH) # Xenomai 2.x native skin (rt_) if(${XENOMAI_VERSION_MAJOR} EQUAL 2)