From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mike Stump To: richard.earnshaw@arm.com, zack@bitmover.com Cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org, law@cygnus.com Subject: Re: FreeBSD 4.0 Date: Mon, 20 Sep 1999 13:43:00 -0000 Message-id: <199909202042.NAA19801@kankakee.wrs.com> X-SW-Source: 1999-09/msg00848.html > Date: Mon, 20 Sep 1999 18:33:58 +0100 > From: Richard Earnshaw > But what if I want to pass my code through lint? There is no restriction against using lint. What did you want to do? The only think that _might_ at all be contentious is distributing lint libraries derived from those headers. I think our intent is to allow this on the grounds that it isn't copyrightable. It would be nice if there was wording somewhere that somehow gace permission. Other tools I think should be included (TAGS files, source code search databases) as well as lint. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mike Stump To: richard.earnshaw@arm.com, zack@bitmover.com Cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org, law@cygnus.com Subject: Re: FreeBSD 4.0 Date: Thu, 30 Sep 1999 18:02:00 -0000 Message-ID: <199909202042.NAA19801@kankakee.wrs.com> X-SW-Source: 1999-09n/msg00848.html Message-ID: <19990930180200.wUxT-nXNt5CRjtHEAmI1MwPH3TNGqhH6qnKEPXDPXXs@z> > Date: Mon, 20 Sep 1999 18:33:58 +0100 > From: Richard Earnshaw > But what if I want to pass my code through lint? There is no restriction against using lint. What did you want to do? The only think that _might_ at all be contentious is distributing lint libraries derived from those headers. I think our intent is to allow this on the grounds that it isn't copyrightable. It would be nice if there was wording somewhere that somehow gace permission. Other tools I think should be included (TAGS files, source code search databases) as well as lint.