From 47018f5c3c2c01e0f0e206d848dc91c33621916b 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 (cherry picked from commit 78efbb6c0d3bb052f7381f35a9d1d2c4bacc8c0c) --- 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 73a041b..0681579 100755 --- a/tools/ci-install.sh +++ b/tools/ci-install.sh @@ -198,7 +198,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.7.4