From 774948cf9d32940dd0c7769c8e9e181b933de427 Mon Sep 17 00:00:00 2001 From: Jay Lee Date: Wed, 20 May 2020 10:27:18 -0400 Subject: [PATCH] try apt-get upgrade instead of dist-upgrade --- src/travis/linux-before-install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/travis/linux-before-install.sh b/src/travis/linux-before-install.sh index e8de85de..585b4acd 100755 --- a/src/travis/linux-before-install.sh +++ b/src/travis/linux-before-install.sh @@ -34,9 +34,9 @@ else mkdir python echo "RUNNING: apt update..." sudo apt-get -qq --yes update > /dev/null - echo "RUNNING: apt dist-upgrade..." + echo "RUNNING: apt upgrade..." #sudo apt-get -qq --yes dist-upgrade > /dev/null - #sudo apt-get --yes dist-upgrade + sudo apt-get --yes upgrade echo "Installing build tools..." #sudo apt-get -qq --yes install build-essential sudo apt-get --yes install build-essential