Skip to content
This repository was archived by the owner on Mar 22, 2023. It is now read-only.

Commit ad7094e

Browse files
docker: Coverity dependency is required on Ubuntu 20.04 not Fedora's
1 parent d1b9624 commit ad7094e

3 files changed

Lines changed: 1 addition & 2 deletions

File tree

utils/docker/images/Dockerfile.fedora-32

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,6 @@ RUN dnf update -y \
8585
${EXAMPLES_DEPS} \
8686
${DOC_DEPS} \
8787
${TESTS_DEPS} \
88-
${COVERITY_DEPS} \
8988
${MISC_DEPS} \
9089
&& dnf clean all
9190

utils/docker/images/Dockerfile.fedora-33

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,6 @@ RUN dnf update -y \
8585
${EXAMPLES_DEPS} \
8686
${DOC_DEPS} \
8787
${TESTS_DEPS} \
88-
${COVERITY_DEPS} \
8988
${MISC_DEPS} \
9089
&& dnf clean all
9190

utils/docker/images/Dockerfile.ubuntu-20.04

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,7 @@ RUN apt-get update \
9898
${DOC_DEPS} \
9999
${TESTS_DEPS} \
100100
${CODECOV_DEPS} \
101+
${COVERITY_DEPS} \
101102
${MISC_DEPS} \
102103
&& rm -rf /var/lib/apt/lists/*
103104

0 commit comments

Comments
 (0)