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 <[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. --- .gitlab-ci.d/buildtest.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Philippe Mathieu-Daudé <[email protected]>
