| Message ID | 20251017133156.926094-1-peter.maydell@linaro.org |
|---|---|
| State | Accepted |
| Headers | show |
| Series | .gitlab-ci.d/buildtest.yml: Install 'file' for the Coverity job | expand |
On 17/10/25 15:31, Peter Maydell wrote: > The coverity-scan upload job has started failing as of 30th > September: > > [ERROR] Cannot find '/usr/bin/file' command, and no 'file' command is found in the PATH > Coverity Capture uses this tool to identify the file type of executables. > Please ensure '/usr/bin/file' is available, or add the 'file' utility to your PATH. > > This seems to have broken when we moved our containers from Fedora 40 > to 41 -- probably F40 indirectly pulled in 'file' via some other > dependency, but in F41 it does not. > > Explicitly install 'file' for the coverity job, in the same way we > already do for curl and wget. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > I don't know any way to test this except by applying it and letting the > coverity job run when it hits upstream git... Possibly we might find that > it complains about some other missing dependency and we need to iterate > on this. > --- > .gitlab-ci.d/buildtest.yml | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
On 10/17/25 06:31, Peter Maydell wrote: > The coverity-scan upload job has started failing as of 30th > September: > > [ERROR] Cannot find '/usr/bin/file' command, and no 'file' command is found in the PATH > Coverity Capture uses this tool to identify the file type of executables. > Please ensure '/usr/bin/file' is available, or add the 'file' utility to your PATH. > > This seems to have broken when we moved our containers from Fedora 40 > to 41 -- probably F40 indirectly pulled in 'file' via some other > dependency, but in F41 it does not. > > Explicitly install 'file' for the coverity job, in the same way we > already do for curl and wget. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > I don't know any way to test this except by applying it and letting the > coverity job run when it hits upstream git... Possibly we might find that > it complains about some other missing dependency and we need to iterate > on this. > --- > .gitlab-ci.d/buildtest.yml | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Applied to master. r~
On Fri, 17 Oct 2025 at 14:31, Peter Maydell <peter.maydell@linaro.org> wrote: > > The coverity-scan upload job has started failing as of 30th > September: > > [ERROR] Cannot find '/usr/bin/file' command, and no 'file' command is found in the PATH > Coverity Capture uses this tool to identify the file type of executables. > Please ensure '/usr/bin/file' is available, or add the 'file' utility to your PATH. > > This seems to have broken when we moved our containers from Fedora 40 > to 41 -- probably F40 indirectly pulled in 'file' via some other > dependency, but in F41 it does not. > > Explicitly install 'file' for the coverity job, in the same way we > already do for curl and wget. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > I don't know any way to test this except by applying it and letting the > coverity job run when it hits upstream git... Possibly we might find that > it complains about some other missing dependency and we need to iterate > on this. Happily, this does seem to have been sufficient, and the job has now passed and Coverity has completed a scan. -- PMM
diff --git a/.gitlab-ci.d/buildtest.yml b/.gitlab-ci.d/buildtest.yml index 0502094b9aa..21f6d7e96fe 100644 --- a/.gitlab-ci.d/buildtest.yml +++ b/.gitlab-ci.d/buildtest.yml @@ -759,7 +759,7 @@ coverity: - job: amd64-fedora-container optional: true before_script: - - dnf install -y curl wget + - dnf install -y curl wget file script: # would be nice to cancel the job if over quota (https://gitlab.com/gitlab-org/gitlab/-/issues/256089) # for example:
The coverity-scan upload job has started failing as of 30th September: [ERROR] Cannot find '/usr/bin/file' command, and no 'file' command is found in the PATH Coverity Capture uses this tool to identify the file type of executables. Please ensure '/usr/bin/file' is available, or add the 'file' utility to your PATH. This seems to have broken when we moved our containers from Fedora 40 to 41 -- probably F40 indirectly pulled in 'file' via some other dependency, but in F41 it does not. Explicitly install 'file' for the coverity job, in the same way we already do for curl and wget. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> --- I don't know any way to test this except by applying it and letting the coverity job run when it hits upstream git... Possibly we might find that it complains about some other missing dependency and we need to iterate on this. --- .gitlab-ci.d/buildtest.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)