From 6d6d4fbcc13713d6221b597915bc6ab7dfff2234 Mon Sep 17 00:00:00 2001
From: Nicolas Werner <nicolas.werner@hotmail.de>
Date: Tue, 3 Dec 2019 18:04:53 +0100
Subject: [PATCH] Add debugging to cmake version in ci

---
 .ci/script.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.ci/script.sh b/.ci/script.sh
index ac6bfed6..fb084305 100755
--- a/.ci/script.sh
+++ b/.ci/script.sh
@@ -13,6 +13,9 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then
 
     sudo update-alternatives --set gcc "/usr/bin/${C_COMPILER}"
     sudo update-alternatives --set g++ "/usr/bin/${CXX_COMPILER}"
+
+    export PATH="/usr/local/bin/:${PATH}"
+    cmake --version
 fi
 
 if [ "$TRAVIS_OS_NAME" = "linux" ]; then