On 19/03/20 20:33, Peter Maydell wrote: > + # TODO: how do you get 'docker build' to print the output of the > + # commands it is running to its stdout? This would be useful for debug. > + DOCKER_BUILDKIT=1 docker build -t coverity-scanner \ > + --secret id=coverity.token,src="$SECRET" \ > + -f scripts/coverity-scan/coverity-scan.docker \ > + scripts/coverity-scan
I'm not sure but tests/docker/docker.py should do it. I'll test this next week. Paolo
