* device/include/pic16/stdio.h, device/lib/pic16/libc/stdio/streams.c,

[fw/sdcc] / device / lib / pic16 / libc / stdio / streams.c

diff --git a/device/lib/pic16/libc/stdio/streams.c b/device/lib/pic16/libc/stdio/streams.c
index 58eb209e757da4482ef54bb2c3280f0427a33d22..f48eb8b2d623c569f7dba334f322ac3ba26ae9d3 100644 (file)
--- a/device/lib/pic16/libc/stdio/streams.c
+++ b/device/lib/pic16/libc/stdio/streams.c
@@ -2,7 +2,7 @@
     streams.c - source file for stream declarations
 
     Written by Vangelis Rokas, 2004 (vrokas@otenet.gr)
-    
+
     This library is free software; you can redistribute it and/or modify it
     under the terms of the GNU Library General Public License as published by the
     Free Software Foundation; either version 2, or (at your option) any
@@ -20,12 +20,14 @@
     In other words, you are welcome to use, share and improve this program.
     You are forbidden to forbid anyone else to use, share and improve
     what you give them.   Help stamp out software-hoarding!
--------------------------------------------------------------------------*/
-
-/*
-** $Id$
-*/
 
+   As a special exception, if you link this library with other files,
+   some of which are compiled with SDCC, 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.
+-------------------------------------------------------------------------*/
 
 #include <stdio.h>