From 78efbb6c0d3bb052f7381f35a9d1d2c4bacc8c0c Mon Sep 17 00:00:00 2001 From: Simon McVittie Date: Wed, 5 Dec 2018 13:17:17 +0000 Subject: [PATCH] CI: Install yelp-tools, for yelp-build, in recent distros Signed-off-by: Simon McVittie --- tools/ci-install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci-install.sh b/tools/ci-install.sh index 8f77c7e37..a28f5baca 100755 --- a/tools/ci-install.sh +++ b/tools/ci-install.sh @@ -181,7 +181,7 @@ case "$ci_distro" in (*) # assume Ubuntu 18.04 'bionic', Debian 10 'buster' or newer - $sudo apt-get -qq -y --no-install-recommends install ducktype + $sudo apt-get -qq -y --no-install-recommends install ducktype yelp-tools ;; esac ;; -- 2.47.3