summaryrefslogtreecommitdiff
path: root/tools/ci-install.sh
diff options
context:
space:
mode:
authorSimon McVittie <smcv@collabora.com>2018-12-04 11:25:21 +0000
committerSimon McVittie <smcv@collabora.com>2018-12-04 12:32:54 +0000
commit8d34987ef76eb0b4e225ff40f26f355870f0edd2 (patch)
treeb1b203cf5cc1e36f8208f61ba18985c57d8b5596 /tools/ci-install.sh
parentacae9c0643bb755144ad18f2a0cbf5af5385e8aa (diff)
downloaddbus-8d34987ef76eb0b4e225ff40f26f355870f0edd2.tar.gz
CI: Exercise maintainer-only documentation build
Signed-off-by: Simon McVittie <smcv@collabora.com> (cherry picked from commit bcc34caa43d8e5dba8266cf163d8a24e4fb55dce)
Diffstat (limited to 'tools/ci-install.sh')
-rwxr-xr-xtools/ci-install.sh9
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
;;