From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21308 invoked by alias); 20 Aug 2007 18:42:37 -0000 Received: (qmail 21243 invoked by uid 22791); 20 Aug 2007 18:42:36 -0000 X-Spam-Check-By: sourceware.org Received: from a.mail.sonic.net (HELO a.mail.sonic.net) (64.142.16.245) by sourceware.org (qpsmtpd/0.31) with ESMTP; Mon, 20 Aug 2007 18:42:31 +0000 Received: from webmail.sonic.net (b.webmail.sonic.net [64.142.100.148]) by a.mail.sonic.net (8.13.8.Beta0-Sonic/8.13.7) with ESMTP id l7KIgH5T000700; Mon, 20 Aug 2007 11:42:17 -0700 Received: from 12.7.175.2 (SquirrelMail authenticated user msnyder) by webmail.sonic.net with HTTP; Mon, 20 Aug 2007 11:42:17 -0700 (PDT) Message-ID: <12857.12.7.175.2.1187635337.squirrel@webmail.sonic.net> In-Reply-To: <16498.12.7.175.2.1187635019.squirrel@webmail.sonic.net> References: <10983.12.7.175.2.1187377963.squirrel@webmail.sonic.net> <18118.17885.89039.298330@kahikatea.snap.net.nz> <000701c7e155$9bcfb8e0$677ba8c0@sonic.net> <18118.45892.919518.866568@kahikatea.snap.net.nz> <16498.12.7.175.2.1187635019.squirrel@webmail.sonic.net> Date: Mon, 20 Aug 2007 18:42:00 -0000 Subject: Re: NEWS for 6.7: mention coverity bug fixes From: msnyder@sonic.net To: msnyder@sonic.net Cc: "Nick Roberts" , gdb-patches@sourceware.org User-Agent: SquirrelMail/1.4.9a MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2007-08/txt/msg00402.txt.bz2 > >> I guess if Coverity is proprietary software then the Free Software line >> may be >> that it gets no mention. > > That would be biting the hand that feeds us, wouldn't it? > > Coverity donated a valuable service to FSF. We benefitted > directly, thru the fixing of numerous potential crasher and > security risk bugs. They charge most people for that service, > but they donated it to us for free. This is not substantially > different from a for-profit employer donating the time of their > employees (such as most of us), and I should think we would > like to encourage it. > > There is precident for acknowledging the contributions of > institutions and corporations in the NEWS file: > > Configurations for embedded MIPS now include a simulator > contributed by Cygnus Solutions. > > Sparc configurations may now include the ERC32 simulator > contributed by the European Space Agency. > > What's wrong with acknowledging what Coverity has contributed? One more: HP has donated a curses-based terminal user interface (TUI). To get it, build with --enable-tui. Although this can be enabled for any configuration, at present it only works for native HP debugging. HP is certainly a proprietary software company.