diff options
Diffstat (limited to 'gcc/gcov-io.h')
-rw-r--r-- | gcc/gcov-io.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/gcov-io.h b/gcc/gcov-io.h index 29a44017fde..50d04a38bba 100644 --- a/gcc/gcov-io.h +++ b/gcc/gcov-io.h @@ -19,6 +19,14 @@ 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. */ + #ifndef GCC_GCOV_IO_H #define GCC_GCOV_IO_H #include <stdio.h> |