diff --git a/install-deps b/install-deps index b1d5a4d44..e1bea385d 100755 --- a/install-deps +++ b/install-deps @@ -175,8 +175,10 @@ elif [[ "$(uname)" == 'Linux' ]]; then echo "Some portion of the update is failed" fi # python-software-properties is required for apt-add-repository + set +e sudo apt-get install -y python-software-properties - echo "==> Found Ubuntu version ${ubuntu_major_version}.xx" + set -e + echo "==> Found Ubuntu version ${ubuntu_major_version}.xx" if [[ $ubuntu_major_version -lt '12' ]]; then echo '==> Ubuntu version not supported.' exit 1