From e101a01cd9370ab3989120cf8ad9be87023aab28 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 3 Oct 2020 15:08:23 +0200
Subject: [PATCH] Update setup_workspace.sh

---
 jenkins/scripts/setup_workspace.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins/scripts/setup_workspace.sh b/jenkins/scripts/setup_workspace.sh
index 2ea5e84..ea0a406 100755
--- 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