diff --git a/ci/scripts/common.linux.before_script.sh b/ci/scripts/common.linux.before_script.sh index 9222a843e..509bffa9b 100644 --- a/ci/scripts/common.linux.before_script.sh +++ b/ci/scripts/common.linux.before_script.sh @@ -16,9 +16,7 @@ export | grep EIGEN # geographical region. export DEBIAN_FRONTEND=noninteractive apt-get update -y > /dev/null -apt-get install -y --no-install-recommends software-properties-common ninja-build cmake git > /dev/null -add-apt-repository -y ppa:ubuntu-toolchain-r/test > /dev/null -apt-get update -y > /dev/null +apt-get install -y --no-install-recommends ninja-build cmake git > /dev/null # Install required dependencies and set up compilers. # These are required even for testing to ensure that dynamic runtime libraries