diff options
Diffstat (limited to 'gcc/gcov-io.h')
| -rw-r--r-- | gcc/gcov-io.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/gcov-io.h b/gcc/gcov-io.h index 634f6b3..d2beb1b 100644 --- a/gcc/gcov-io.h +++ b/gcc/gcov-io.h @@ -21,6 +21,13 @@ along with GCC; see the file COPYING. If not, write to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ +/* As a special exception, if you link this library with other files, + some of which are compiled with GCC, to produce an executable, + this library does not by itself cause the resulting executable + to be covered by the GNU General Public License. + This exception does not however invalidate any other reasons why + the executable file might be covered by the GNU General Public License. */ + /* Coverage information is held in two files. A basic block graph file, which is generated by the compiler, and a counter file, which is generated by the program under test. Both files use a similar |