[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 5/8] run-coverity-scan: add --no-update-tools option
|
From: |
Paolo Bonzini |
|
Subject: |
Re: [PATCH 5/8] run-coverity-scan: add --no-update-tools option |
|
Date: |
Mon, 27 Apr 2020 15:41:16 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 |
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-only".
>
I noticed, however by the end of the series it was easier to add the
support...
Paolo
- Re: [PATCH 4/8] run-coverity-scan: use docker.py, (continued)