This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: FreeBSD 4.0
- To: richard dot earnshaw at arm dot com, zack at bitmover dot com
- Subject: Re: FreeBSD 4.0
- From: Mike Stump <mrs at wrs dot com>
- Date: Mon, 20 Sep 1999 13:42:13 -0700 (PDT)
- Cc: gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org, law at cygnus dot com
> Date: Mon, 20 Sep 1999 18:33:58 +0100
> From: Richard Earnshaw <rearnsha@arm.com>
> 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.