diff --git a/CI/install_debian_deps.sh b/CI/install_debian_deps.sh index a8843207d9..370f7f23ed 100755 --- a/CI/install_debian_deps.sh +++ b/CI/install_debian_deps.sh @@ -64,5 +64,5 @@ done export APT_CACHE_DIR="${PWD}/apt-cache" set -x mkdir -pv "$APT_CACHE_DIR" -apt-get update -yq -apt-get -q -o dir::cache::archives="$APT_CACHE_DIR" install -y --no-install-recommends "${deps[@]}" +apt-get update -yqq +apt-get -qq -o dir::cache::archives="$APT_CACHE_DIR" install -y --no-install-recommends "${deps[@]}"