Update setup_workspace.sh

2020-10-03 15:08:23 +02:00 · 2020-10-03 15:08:23 +02:00 · e101a01cd9
commit e101a01cd9
parent 41c74d63a0
1 changed files with 1 additions and 0 deletions
--- a/jenkins/scripts/setup_workspace.sh
+++ b/jenkins/scripts/setup_workspace.sh
@ -15,6 +15,7 @@ source ./jenkins/scripts/setup_variables.sh

 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
  echo "Linux"
+	sudo apt install cmake -y
 elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
  echo "OSX"
 elif [[ "$TRAVIS_OS_NAME" == "windows" ]]; then