From 79dec2f8b5eca67a8dbef5cf54b88fd2d215dac7 Mon Sep 17 00:00:00 2001 From: Romain Guy Date: Mon, 11 Mar 2019 14:28:26 -0700 Subject: [PATCH] Give our own CMake a higher priority --- build/linux/ci-common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/linux/ci-common.sh b/build/linux/ci-common.sh index e2f6a3b44d..a675dd3871 100755 --- a/build/linux/ci-common.sh +++ b/build/linux/ci-common.sh @@ -26,7 +26,7 @@ if [ "$KOKORO_BUILD_ID" ]; then sudo wget https://github.com/Kitware/CMake/releases/download/v$CMAKE_VERSION/cmake-$CMAKE_VERSION-Linux-x86_64.sh sudo chmod +x ./cmake-$CMAKE_VERSION-Linux-x86_64.sh sudo ./cmake-$CMAKE_VERSION-Linux-x86_64.sh --skip-license > /dev/null - sudo update-alternatives --install /usr/bin/cmake cmake `pwd`/bin/cmake 1 --force + sudo update-alternatives --install /usr/bin/cmake cmake `pwd`/bin/cmake 1000 --force cd .. fi