diff options
Diffstat (limited to '.ci/script.sh')
| -rwxr-xr-x | .ci/script.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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 |