Re: [Qemu-trivial] [Qemu-devel] [PATCH v4] scripts: add sample model file for Coverity Scan

[Stefan Weil]

Am 06.04.2014 10:35, schrieb Stefan Weil:
> Am 06.04.2014 10:20, schrieb Peter Maydell:
>> On 6 April 2014 07:37, Michael Tokarev <address@hidden> wrote:
>>> While we don't have issues with the model itself, but really wonder if we
>>> should keep this file inside qemu sources.  It isn't used in there, as
>>> explicitly stated above, and maybe it is easier to maintain it "closer"
>>> to the website?
>>
>> Where would that be? There's no version control there. The
>> other alternative would be somebody's personal git repo,
>> which seems a recipe for it being impossible to find.
>>
>> thanks
>> -- PMM
>>
> 
> I suggest documenting the use of coverity in the QEMU wiki.
> http://wiki.qemu.org/Testing is a good place for that.
> 
> The model file could also be placed there on a new page: mediawiki has
> version control, and maintenance would be easier than with patches sent
> to the mailing list. People who want to review any changes just have to
> get a Wiki account (most already have, I assume) and watch the page for
> modifications.
> 
> Regards
> Stefan

I forgot to mention that a license change would be needed for the model
file because the Wiki uses the GNU Free Documentation License 1.2.

Stefan