From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1WWiZ0-0003ZO-MW for mharc-qemu-trivial@gnu.org; Sun, 06 Apr 2014 04:36:26 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49416) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWiYr-0003OU-Sk for qemu-trivial@nongnu.org; Sun, 06 Apr 2014 04:36:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WWiYm-0001Aq-CR for qemu-trivial@nongnu.org; Sun, 06 Apr 2014 04:36:17 -0400 Received: from v220110690675601.yourvserver.net ([37.221.199.173]:50701) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWiYb-00017c-Ml; Sun, 06 Apr 2014 04:36:01 -0400 Received: from localhost (v220110690675601.yourvserver.net.local [127.0.0.1]) by v220110690675601.yourvserver.net (Postfix) with ESMTP id A32A61182EB4; Sun, 6 Apr 2014 10:35:59 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at weilnetz.de Received: from v220110690675601.yourvserver.net ([127.0.0.1]) by localhost (v220110690675601.yourvserver.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id s-l6qd4Qeu7E; Sun, 6 Apr 2014 10:35:55 +0200 (CEST) Received: from [192.168.178.35] (p54AD8E8D.dip0.t-ipconnect.de [84.173.142.141]) by v220110690675601.yourvserver.net (Postfix) with ESMTPSA id 258D61182EB3; Sun, 6 Apr 2014 10:35:55 +0200 (CEST) Message-ID: <534111E9.3010604@weilnetz.de> Date: Sun, 06 Apr 2014 10:35:53 +0200 From: Stefan Weil User-Agent: Mozilla/5.0 (X11; Linux i686; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: Peter Maydell , Michael Tokarev References: <1395834349-19001-1-git-send-email-pbonzini@redhat.com> <5340F620.2000607@msgid.tls.msk.ru> In-Reply-To: X-Enigmail-Version: 1.5.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 37.221.199.173 Cc: QEMU Trivial , Paolo Bonzini , QEMU Developers , Markus Armbruster Subject: Re: [Qemu-trivial] [Qemu-devel] [PATCH v4] scripts: add sample model file for Coverity Scan X-BeenThere: qemu-trivial@nongnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 06 Apr 2014 08:36:25 -0000 Am 06.04.2014 10:20, schrieb Peter Maydell: > On 6 April 2014 07:37, Michael Tokarev 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49398) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWiYh-00031H-2r for qemu-devel@nongnu.org; Sun, 06 Apr 2014 04:36:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WWiYb-00017n-Sq for qemu-devel@nongnu.org; Sun, 06 Apr 2014 04:36:07 -0400 Message-ID: <534111E9.3010604@weilnetz.de> Date: Sun, 06 Apr 2014 10:35:53 +0200 From: Stefan Weil MIME-Version: 1.0 References: <1395834349-19001-1-git-send-email-pbonzini@redhat.com> <5340F620.2000607@msgid.tls.msk.ru> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [Qemu-trivial] [PATCH v4] scripts: add sample model file for Coverity Scan List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell , Michael Tokarev Cc: QEMU Trivial , Paolo Bonzini , QEMU Developers , Markus Armbruster Am 06.04.2014 10:20, schrieb Peter Maydell: > On 6 April 2014 07:37, Michael Tokarev 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