diff options
Diffstat (limited to 'contrib/ci/distro.sh')
-rw-r--r-- | contrib/ci/distro.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/ci/distro.sh b/contrib/ci/distro.sh index 5416bfff3..6a2aebca6 100644 --- a/contrib/ci/distro.sh +++ b/contrib/ci/distro.sh @@ -60,7 +60,8 @@ function distro_pkg_install() {print} END {exit s}' elif [[ "$DISTRO_BRANCH" == -debian-* ]]; then - [ $# != 0 ] && sudo -p "$prompt" apt-get --yes install -- "$@" + [ $# != 0 ] && DEBIAN_FRONTEND=noninteractive \ + sudo -p "$prompt" apt-get --yes install -- "$@" else echo "Cannot install packages on $DISTRO_BRANCH" >&2 exit 1 |