summaryrefslogtreecommitdiffstats
path: root/scripts/coverity-scan
diff options
context:
space:
mode:
authorPeter Maydell2020-09-25 18:23:16 +0200
committerMarkus Armbruster2020-09-29 17:55:39 +0200
commit7cd77fb02b9a2117a56fed172f09a1820fcd6b0b (patch)
treecf85f68f00ec2c004fccb574ce35d7aec7afdbdf /scripts/coverity-scan
parentconfigure: Drop texinfo requirement (diff)
downloadqemu-7cd77fb02b9a2117a56fed172f09a1820fcd6b0b.tar.gz
qemu-7cd77fb02b9a2117a56fed172f09a1820fcd6b0b.tar.xz
qemu-7cd77fb02b9a2117a56fed172f09a1820fcd6b0b.zip
Remove texinfo dependency from docker and CI configs
We don't need texinfo to build the docs any more, so we can drop that dependency from our docker and other CI configs. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Message-Id: <20200925162316.21205-22-peter.maydell@linaro.org> Reviewed-by: Markus Armbruster <armbru@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'scripts/coverity-scan')
-rw-r--r--scripts/coverity-scan/coverity-scan.docker1
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/coverity-scan/coverity-scan.docker b/scripts/coverity-scan/coverity-scan.docker
index 018c03de6d..501ac67233 100644
--- a/scripts/coverity-scan/coverity-scan.docker
+++ b/scripts/coverity-scan/coverity-scan.docker
@@ -110,7 +110,6 @@ ENV PACKAGES \
systemd-devel \
systemtap-sdt-devel \
tar \
- texinfo \
usbredir-devel \
virglrenderer-devel \
vte291-devel \