diff options
Diffstat (limited to 'tools/ci-install.sh')
| -rwxr-xr-x | tools/ci-install.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/ci-install.sh b/tools/ci-install.sh index 810b02ed..1c2e3b64 100755 --- a/tools/ci-install.sh +++ b/tools/ci-install.sh @@ -167,6 +167,15 @@ case "$ci_distro" in $sudo dpkg -i autoconf-archive_*_all.deb rm autoconf-archive_*_all.deb ;; + + (stretch) + # Debian 9 'stretch' didn't have the ducktype package + ;; + + (*) + # assume Ubuntu 18.04 'bionic', Debian 10 'buster' or newer + $sudo apt-get -qq -y install ducktype + ;; esac ;; |