diff options
Diffstat (limited to 'otherlibs/win32unix')
37 files changed, 74 insertions, 37 deletions
diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index 80dcd2fb9..ba1df64c7 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -6,7 +6,8 @@ # # # Copyright 1999 Institut National de Recherche en Informatique et # # en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU Library General Public License. # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../../LICENSE. # # # ######################################################################### diff --git a/otherlibs/win32unix/accept.c b/otherlibs/win32unix/accept.c index ef2dd3400..ee6cef312 100644 --- a/otherlibs/win32unix/accept.c +++ b/otherlibs/win32unix/accept.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/bind.c b/otherlibs/win32unix/bind.c index 6434fac67..fe5ad267c 100644 --- a/otherlibs/win32unix/bind.c +++ b/otherlibs/win32unix/bind.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/channels.c b/otherlibs/win32unix/channels.c index 09ef98572..fed88a78c 100644 --- a/otherlibs/win32unix/channels.c +++ b/otherlibs/win32unix/channels.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/close.c b/otherlibs/win32unix/close.c index 4349d6b55..076661723 100644 --- a/otherlibs/win32unix/close.c +++ b/otherlibs/win32unix/close.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/close_on.c b/otherlibs/win32unix/close_on.c index a1eac30d4..5b2c4ece3 100644 --- a/otherlibs/win32unix/close_on.c +++ b/otherlibs/win32unix/close_on.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/connect.c b/otherlibs/win32unix/connect.c index a7fd2aeec..927758341 100644 --- a/otherlibs/win32unix/connect.c +++ b/otherlibs/win32unix/connect.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/createprocess.c b/otherlibs/win32unix/createprocess.c index f2c845e04..8a92d18f0 100644 --- a/otherlibs/win32unix/createprocess.c +++ b/otherlibs/win32unix/createprocess.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/dup.c b/otherlibs/win32unix/dup.c index 15d20fd8e..f65a4e0c4 100644 --- a/otherlibs/win32unix/dup.c +++ b/otherlibs/win32unix/dup.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/dup2.c b/otherlibs/win32unix/dup2.c index d16eb8496..08e474b56 100644 --- a/otherlibs/win32unix/dup2.c +++ b/otherlibs/win32unix/dup2.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/errmsg.c b/otherlibs/win32unix/errmsg.c index 7a6cf654e..f1246ab82 100644 --- a/otherlibs/win32unix/errmsg.c +++ b/otherlibs/win32unix/errmsg.c @@ -6,7 +6,8 @@ /* */ /* Copyright 2001 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getpeername.c b/otherlibs/win32unix/getpeername.c index acc33f40b..53178bd25 100644 --- a/otherlibs/win32unix/getpeername.c +++ b/otherlibs/win32unix/getpeername.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getpid.c b/otherlibs/win32unix/getpid.c index b33992265..0892f8f95 100644 --- a/otherlibs/win32unix/getpid.c +++ b/otherlibs/win32unix/getpid.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getsockname.c b/otherlibs/win32unix/getsockname.c index 43fd921f9..85a6878db 100644 --- a/otherlibs/win32unix/getsockname.c +++ b/otherlibs/win32unix/getsockname.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/gettimeofday.c b/otherlibs/win32unix/gettimeofday.c index 0f6613155..c7ee376cd 100644 --- a/otherlibs/win32unix/gettimeofday.c +++ b/otherlibs/win32unix/gettimeofday.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/link.c b/otherlibs/win32unix/link.c index 99ba58ba0..26202ed98 100644 --- a/otherlibs/win32unix/link.c +++ b/otherlibs/win32unix/link.c @@ -6,7 +6,8 @@ /* */ /* Copyright 2001 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/listen.c b/otherlibs/win32unix/listen.c index 8a8ece648..55b2eaf38 100644 --- a/otherlibs/win32unix/listen.c +++ b/otherlibs/win32unix/listen.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/lseek.c b/otherlibs/win32unix/lseek.c index 2df24b2eb..9544268cf 100644 --- a/otherlibs/win32unix/lseek.c +++ b/otherlibs/win32unix/lseek.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/mkdir.c b/otherlibs/win32unix/mkdir.c index f75ce3963..aae54783b 100644 --- a/otherlibs/win32unix/mkdir.c +++ b/otherlibs/win32unix/mkdir.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/open.c b/otherlibs/win32unix/open.c index 08811182f..76e73e3ae 100644 --- a/otherlibs/win32unix/open.c +++ b/otherlibs/win32unix/open.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/pipe.c b/otherlibs/win32unix/pipe.c index fdcba3418..67e381298 100644 --- a/otherlibs/win32unix/pipe.c +++ b/otherlibs/win32unix/pipe.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/read.c b/otherlibs/win32unix/read.c index a45a47ecc..d970cc321 100644 --- a/otherlibs/win32unix/read.c +++ b/otherlibs/win32unix/read.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/select.c b/otherlibs/win32unix/select.c index 474ed3163..61ae1004d 100644 --- a/otherlibs/win32unix/select.c +++ b/otherlibs/win32unix/select.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sendrecv.c b/otherlibs/win32unix/sendrecv.c index f3f1b670c..cafe70945 100644 --- a/otherlibs/win32unix/sendrecv.c +++ b/otherlibs/win32unix/sendrecv.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/shutdown.c b/otherlibs/win32unix/shutdown.c index 25373464e..672877dd8 100644 --- a/otherlibs/win32unix/shutdown.c +++ b/otherlibs/win32unix/shutdown.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sleep.c b/otherlibs/win32unix/sleep.c index 6622986e4..b86bfc5e4 100644 --- a/otherlibs/win32unix/sleep.c +++ b/otherlibs/win32unix/sleep.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/socket.c b/otherlibs/win32unix/socket.c index 9423f5585..ed6e2e349 100644 --- a/otherlibs/win32unix/socket.c +++ b/otherlibs/win32unix/socket.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/socketaddr.h b/otherlibs/win32unix/socketaddr.h index f244d82fd..cbad1828b 100644 --- a/otherlibs/win32unix/socketaddr.h +++ b/otherlibs/win32unix/socketaddr.h @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sockopt.c b/otherlibs/win32unix/sockopt.c index cc1385ac1..115ecc5f9 100644 --- a/otherlibs/win32unix/sockopt.c +++ b/otherlibs/win32unix/sockopt.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index 1099d7c26..a3cb3d221 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c index fe2bcce5c..b326e8900 100644 --- a/otherlibs/win32unix/system.c +++ b/otherlibs/win32unix/system.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index 24d8c9c5d..56cfb4ba2 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../../LICENSE. *) (* *) (***********************************************************************) diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c index c2e070232..f4e6e2867 100644 --- a/otherlibs/win32unix/unixsupport.c +++ b/otherlibs/win32unix/unixsupport.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/unixsupport.h b/otherlibs/win32unix/unixsupport.h index ec363780a..c2c71e4bd 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c index d6b863abb..8d487bf64 100644 --- a/otherlibs/win32unix/windir.c +++ b/otherlibs/win32unix/windir.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c index 54ece1a62..c0a643a7e 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/write.c b/otherlibs/win32unix/write.c index 6bd9c6637..ce7429d05 100644 --- a/otherlibs/win32unix/write.c +++ b/otherlibs/win32unix/write.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ /* */ /***********************************************************************/ |