On Fri, 17 Oct 2025 at 14:31, Peter Maydell <[email protected]> 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 <[email protected]> > --- > 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
