On 27/04/20 14:46, Peter Maydell wrote:
>> -if [ "$UPDATE_ONLY" = yes ] && [ "$DOCKER" = yes ]; then
>> +if [ "$UPDATE" = only ] && [ "$DOCKER" = yes ]; then
>> echo "Combining --docker and --update-only is not supported"
> Pre-existing bug,but this error message should say
> "--update-tools-o
On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini wrote:
>
> Provide a quick way to skip building the container while we figure out how
> to get caching right.
>
> Signed-off-by: Paolo Bonzini
> ---
> scripts/coverity-scan/run-coverity-scan | 37 +++--
> 1 file changed, 23 insertio
Provide a quick way to skip building the container while we figure out how
to get caching right.
Signed-off-by: Paolo Bonzini
---
scripts/coverity-scan/run-coverity-scan | 37 +++--
1 file changed, 23 insertions(+), 14 deletions(-)
diff --git a/scripts/coverity-scan/run-cove
