From 068085eb2f64068379813d891361c4d59d57a3e4 Mon Sep 17 00:00:00 2001
From: Antoine Hoarau <703240+ahoarau@users.noreply.github.com>
Date: Thu, 13 Feb 2020 11:03:37 +0100
Subject: [PATCH] remove unused patch var

---
 config/FindXenomai.cmake | 1 -
 1 file changed, 1 deletion(-)

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)