summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/unix')
-rw-r--r--otherlibs/unix/Makefile3
-rw-r--r--otherlibs/unix/accept.c3
-rw-r--r--otherlibs/unix/access.c3
-rw-r--r--otherlibs/unix/addrofstr.c3
-rw-r--r--otherlibs/unix/alarm.c3
-rw-r--r--otherlibs/unix/bind.c3
-rw-r--r--otherlibs/unix/chdir.c3
-rw-r--r--otherlibs/unix/chmod.c3
-rw-r--r--otherlibs/unix/chown.c3
-rw-r--r--otherlibs/unix/chroot.c3
-rw-r--r--otherlibs/unix/close.c3
-rw-r--r--otherlibs/unix/closedir.c3
-rw-r--r--otherlibs/unix/connect.c3
-rw-r--r--otherlibs/unix/cst2constr.c3
-rw-r--r--otherlibs/unix/cst2constr.h3
-rw-r--r--otherlibs/unix/cstringv.c3
-rw-r--r--otherlibs/unix/dup.c3
-rw-r--r--otherlibs/unix/dup2.c3
-rw-r--r--otherlibs/unix/envir.c3
-rw-r--r--otherlibs/unix/errmsg.c3
-rw-r--r--otherlibs/unix/execv.c3
-rw-r--r--otherlibs/unix/execve.c3
-rw-r--r--otherlibs/unix/execvp.c3
-rw-r--r--otherlibs/unix/exit.c3
-rw-r--r--otherlibs/unix/fchmod.c3
-rw-r--r--otherlibs/unix/fchown.c3
-rw-r--r--otherlibs/unix/fcntl.c3
-rw-r--r--otherlibs/unix/fork.c3
-rw-r--r--otherlibs/unix/ftruncate.c3
-rw-r--r--otherlibs/unix/getcwd.c3
-rw-r--r--otherlibs/unix/getegid.c3
-rw-r--r--otherlibs/unix/geteuid.c3
-rw-r--r--otherlibs/unix/getgid.c3
-rw-r--r--otherlibs/unix/getgr.c3
-rw-r--r--otherlibs/unix/getgroups.c3
-rw-r--r--otherlibs/unix/gethost.c3
-rw-r--r--otherlibs/unix/gethostname.c3
-rw-r--r--otherlibs/unix/getlogin.c3
-rw-r--r--otherlibs/unix/getpeername.c3
-rw-r--r--otherlibs/unix/getpid.c3
-rw-r--r--otherlibs/unix/getppid.c3
-rw-r--r--otherlibs/unix/getproto.c3
-rw-r--r--otherlibs/unix/getpw.c3
-rw-r--r--otherlibs/unix/getserv.c3
-rw-r--r--otherlibs/unix/getsockname.c3
-rw-r--r--otherlibs/unix/gettimeofday.c3
-rw-r--r--otherlibs/unix/getuid.c3
-rw-r--r--otherlibs/unix/gmtime.c3
-rw-r--r--otherlibs/unix/itimer.c3
-rw-r--r--otherlibs/unix/kill.c3
-rw-r--r--otherlibs/unix/link.c3
-rw-r--r--otherlibs/unix/listen.c3
-rw-r--r--otherlibs/unix/lockf.c3
-rw-r--r--otherlibs/unix/lseek.c3
-rw-r--r--otherlibs/unix/mkdir.c3
-rw-r--r--otherlibs/unix/mkfifo.c3
-rw-r--r--otherlibs/unix/nice.c3
-rw-r--r--otherlibs/unix/open.c3
-rw-r--r--otherlibs/unix/opendir.c3
-rw-r--r--otherlibs/unix/pipe.c3
-rw-r--r--otherlibs/unix/putenv.c3
-rw-r--r--otherlibs/unix/read.c3
-rw-r--r--otherlibs/unix/readdir.c3
-rw-r--r--otherlibs/unix/readlink.c3
-rw-r--r--otherlibs/unix/rename.c3
-rw-r--r--otherlibs/unix/rewinddir.c3
-rw-r--r--otherlibs/unix/rmdir.c3
-rw-r--r--otherlibs/unix/select.c3
-rw-r--r--otherlibs/unix/sendrecv.c3
-rw-r--r--otherlibs/unix/setgid.c3
-rw-r--r--otherlibs/unix/setsid.c3
-rw-r--r--otherlibs/unix/setuid.c3
-rw-r--r--otherlibs/unix/shutdown.c3
-rw-r--r--otherlibs/unix/signals.c3
-rw-r--r--otherlibs/unix/sleep.c3
-rw-r--r--otherlibs/unix/socket.c3
-rw-r--r--otherlibs/unix/socketaddr.c3
-rw-r--r--otherlibs/unix/socketaddr.h3
-rw-r--r--otherlibs/unix/socketpair.c3
-rw-r--r--otherlibs/unix/sockopt.c3
-rw-r--r--otherlibs/unix/stat.c3
-rw-r--r--otherlibs/unix/strofaddr.c3
-rw-r--r--otherlibs/unix/symlink.c3
-rw-r--r--otherlibs/unix/termios.c3
-rw-r--r--otherlibs/unix/time.c3
-rw-r--r--otherlibs/unix/times.c3
-rw-r--r--otherlibs/unix/truncate.c3
-rw-r--r--otherlibs/unix/umask.c3
-rw-r--r--otherlibs/unix/unix.ml3
-rw-r--r--otherlibs/unix/unix.mli3
-rw-r--r--otherlibs/unix/unixLabels.ml3
-rw-r--r--otherlibs/unix/unixLabels.mli3
-rw-r--r--otherlibs/unix/unixsupport.c3
-rw-r--r--otherlibs/unix/unixsupport.h3
-rw-r--r--otherlibs/unix/unlink.c3
-rw-r--r--otherlibs/unix/utimes.c3
-rw-r--r--otherlibs/unix/wait.c3
-rw-r--r--otherlibs/unix/write.c3
98 files changed, 196 insertions, 98 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile
index 2c5628714..317460e0e 100644
--- a/otherlibs/unix/Makefile
+++ b/otherlibs/unix/Makefile
@@ -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/unix/accept.c b/otherlibs/unix/accept.c
index 6f5ae2932..3247c43dc 100644
--- a/otherlibs/unix/accept.c
+++ b/otherlibs/unix/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/unix/access.c b/otherlibs/unix/access.c
index 72e3d77fb..7a7307084 100644
--- a/otherlibs/unix/access.c
+++ b/otherlibs/unix/access.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/unix/addrofstr.c b/otherlibs/unix/addrofstr.c
index 767918052..140f9c3b0 100644
--- a/otherlibs/unix/addrofstr.c
+++ b/otherlibs/unix/addrofstr.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/unix/alarm.c b/otherlibs/unix/alarm.c
index 95f2a19e9..6eb6ebe81 100644
--- a/otherlibs/unix/alarm.c
+++ b/otherlibs/unix/alarm.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/unix/bind.c b/otherlibs/unix/bind.c
index 9dd660d9b..d3520d3f5 100644
--- a/otherlibs/unix/bind.c
+++ b/otherlibs/unix/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/unix/chdir.c b/otherlibs/unix/chdir.c
index 003e8e4cf..7901eca0e 100644
--- a/otherlibs/unix/chdir.c
+++ b/otherlibs/unix/chdir.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/unix/chmod.c b/otherlibs/unix/chmod.c
index 9ab44e96c..dff837223 100644
--- a/otherlibs/unix/chmod.c
+++ b/otherlibs/unix/chmod.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/unix/chown.c b/otherlibs/unix/chown.c
index 5cc1c3e53..bfd164008 100644
--- a/otherlibs/unix/chown.c
+++ b/otherlibs/unix/chown.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/unix/chroot.c b/otherlibs/unix/chroot.c
index fedb0de50..24f49877d 100644
--- a/otherlibs/unix/chroot.c
+++ b/otherlibs/unix/chroot.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/unix/close.c b/otherlibs/unix/close.c
index be929cb6e..27e1937df 100644
--- a/otherlibs/unix/close.c
+++ b/otherlibs/unix/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/unix/closedir.c b/otherlibs/unix/closedir.c
index baa63b9dd..a168548a9 100644
--- a/otherlibs/unix/closedir.c
+++ b/otherlibs/unix/closedir.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/unix/connect.c b/otherlibs/unix/connect.c
index f74c275b3..2db973b53 100644
--- a/otherlibs/unix/connect.c
+++ b/otherlibs/unix/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/unix/cst2constr.c b/otherlibs/unix/cst2constr.c
index 6a0149091..9035160dc 100644
--- a/otherlibs/unix/cst2constr.c
+++ b/otherlibs/unix/cst2constr.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/unix/cst2constr.h b/otherlibs/unix/cst2constr.h
index 8e7c84ee7..2ee2ce50b 100644
--- a/otherlibs/unix/cst2constr.h
+++ b/otherlibs/unix/cst2constr.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/unix/cstringv.c b/otherlibs/unix/cstringv.c
index d95e4bc26..d7bd39641 100644
--- a/otherlibs/unix/cstringv.c
+++ b/otherlibs/unix/cstringv.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/unix/dup.c b/otherlibs/unix/dup.c
index d9c6d3bcb..5935d0b44 100644
--- a/otherlibs/unix/dup.c
+++ b/otherlibs/unix/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/unix/dup2.c b/otherlibs/unix/dup2.c
index e0b756841..beb987133 100644
--- a/otherlibs/unix/dup2.c
+++ b/otherlibs/unix/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/unix/envir.c b/otherlibs/unix/envir.c
index a9d36e96a..d17aaa410 100644
--- a/otherlibs/unix/envir.c
+++ b/otherlibs/unix/envir.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/unix/errmsg.c b/otherlibs/unix/errmsg.c
index 9d218f9e2..ca09364ee 100644
--- a/otherlibs/unix/errmsg.c
+++ b/otherlibs/unix/errmsg.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/unix/execv.c b/otherlibs/unix/execv.c
index 0a56c4ae8..b7cd80098 100644
--- a/otherlibs/unix/execv.c
+++ b/otherlibs/unix/execv.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/unix/execve.c b/otherlibs/unix/execve.c
index bc5409f59..0f63aaef9 100644
--- a/otherlibs/unix/execve.c
+++ b/otherlibs/unix/execve.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/unix/execvp.c b/otherlibs/unix/execvp.c
index 657184e41..960b3bfe1 100644
--- a/otherlibs/unix/execvp.c
+++ b/otherlibs/unix/execvp.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/unix/exit.c b/otherlibs/unix/exit.c
index 604e70f84..26afea339 100644
--- a/otherlibs/unix/exit.c
+++ b/otherlibs/unix/exit.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/unix/fchmod.c b/otherlibs/unix/fchmod.c
index 5bb03ff9c..f812edf16 100644
--- a/otherlibs/unix/fchmod.c
+++ b/otherlibs/unix/fchmod.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/unix/fchown.c b/otherlibs/unix/fchown.c
index 58a734c38..ba74ffeeb 100644
--- a/otherlibs/unix/fchown.c
+++ b/otherlibs/unix/fchown.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/unix/fcntl.c b/otherlibs/unix/fcntl.c
index 58eff00e7..914406eed 100644
--- a/otherlibs/unix/fcntl.c
+++ b/otherlibs/unix/fcntl.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/unix/fork.c b/otherlibs/unix/fork.c
index 6fd38f48b..c78973474 100644
--- a/otherlibs/unix/fork.c
+++ b/otherlibs/unix/fork.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/unix/ftruncate.c b/otherlibs/unix/ftruncate.c
index cc9f978c6..259404362 100644
--- a/otherlibs/unix/ftruncate.c
+++ b/otherlibs/unix/ftruncate.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/unix/getcwd.c b/otherlibs/unix/getcwd.c
index 3f8cf7d89..ee96c88b9 100644
--- a/otherlibs/unix/getcwd.c
+++ b/otherlibs/unix/getcwd.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/unix/getegid.c b/otherlibs/unix/getegid.c
index 2d6a0a816..e9900fb69 100644
--- a/otherlibs/unix/getegid.c
+++ b/otherlibs/unix/getegid.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/unix/geteuid.c b/otherlibs/unix/geteuid.c
index 6e80b1886..fd39879d2 100644
--- a/otherlibs/unix/geteuid.c
+++ b/otherlibs/unix/geteuid.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/unix/getgid.c b/otherlibs/unix/getgid.c
index f64f885fd..debac27ee 100644
--- a/otherlibs/unix/getgid.c
+++ b/otherlibs/unix/getgid.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/unix/getgr.c b/otherlibs/unix/getgr.c
index 02fa6f2bf..eefaa5979 100644
--- a/otherlibs/unix/getgr.c
+++ b/otherlibs/unix/getgr.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/unix/getgroups.c b/otherlibs/unix/getgroups.c
index d548aad4f..7bbcfef16 100644
--- a/otherlibs/unix/getgroups.c
+++ b/otherlibs/unix/getgroups.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/unix/gethost.c b/otherlibs/unix/gethost.c
index 65d10595c..2f3da9485 100644
--- a/otherlibs/unix/gethost.c
+++ b/otherlibs/unix/gethost.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/unix/gethostname.c b/otherlibs/unix/gethostname.c
index ed12cb1d8..777076bf2 100644
--- a/otherlibs/unix/gethostname.c
+++ b/otherlibs/unix/gethostname.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/unix/getlogin.c b/otherlibs/unix/getlogin.c
index c749da8b0..de569df7f 100644
--- a/otherlibs/unix/getlogin.c
+++ b/otherlibs/unix/getlogin.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/unix/getpeername.c b/otherlibs/unix/getpeername.c
index 1498bedb2..c30615564 100644
--- a/otherlibs/unix/getpeername.c
+++ b/otherlibs/unix/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/unix/getpid.c b/otherlibs/unix/getpid.c
index 37a4fadac..876c63605 100644
--- a/otherlibs/unix/getpid.c
+++ b/otherlibs/unix/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/unix/getppid.c b/otherlibs/unix/getppid.c
index 4cd09eae9..660c45c9e 100644
--- a/otherlibs/unix/getppid.c
+++ b/otherlibs/unix/getppid.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/unix/getproto.c b/otherlibs/unix/getproto.c
index 0158ae3c8..7ab2d2e1f 100644
--- a/otherlibs/unix/getproto.c
+++ b/otherlibs/unix/getproto.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/unix/getpw.c b/otherlibs/unix/getpw.c
index c0a315e21..eba9d6c3c 100644
--- a/otherlibs/unix/getpw.c
+++ b/otherlibs/unix/getpw.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/unix/getserv.c b/otherlibs/unix/getserv.c
index cb3698711..e58022583 100644
--- a/otherlibs/unix/getserv.c
+++ b/otherlibs/unix/getserv.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/unix/getsockname.c b/otherlibs/unix/getsockname.c
index db6ccb2bf..94990e26d 100644
--- a/otherlibs/unix/getsockname.c
+++ b/otherlibs/unix/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/unix/gettimeofday.c b/otherlibs/unix/gettimeofday.c
index 6e436b58d..97f80f05e 100644
--- a/otherlibs/unix/gettimeofday.c
+++ b/otherlibs/unix/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/unix/getuid.c b/otherlibs/unix/getuid.c
index c3e2be6e9..0417665a2 100644
--- a/otherlibs/unix/getuid.c
+++ b/otherlibs/unix/getuid.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/unix/gmtime.c b/otherlibs/unix/gmtime.c
index 5a71e5e40..502a5f9f9 100644
--- a/otherlibs/unix/gmtime.c
+++ b/otherlibs/unix/gmtime.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/unix/itimer.c b/otherlibs/unix/itimer.c
index 3bab202fd..eb2205731 100644
--- a/otherlibs/unix/itimer.c
+++ b/otherlibs/unix/itimer.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/unix/kill.c b/otherlibs/unix/kill.c
index 36e81b391..8d8a47340 100644
--- a/otherlibs/unix/kill.c
+++ b/otherlibs/unix/kill.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/unix/link.c b/otherlibs/unix/link.c
index 81c06de92..181e9c180 100644
--- a/otherlibs/unix/link.c
+++ b/otherlibs/unix/link.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/unix/listen.c b/otherlibs/unix/listen.c
index 2a19bdcaa..d85d854fc 100644
--- a/otherlibs/unix/listen.c
+++ b/otherlibs/unix/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/unix/lockf.c b/otherlibs/unix/lockf.c
index aed8710f7..fd71514f9 100644
--- a/otherlibs/unix/lockf.c
+++ b/otherlibs/unix/lockf.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/unix/lseek.c b/otherlibs/unix/lseek.c
index 567f44d4e..3f7d8e698 100644
--- a/otherlibs/unix/lseek.c
+++ b/otherlibs/unix/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/unix/mkdir.c b/otherlibs/unix/mkdir.c
index 058ade946..1b8fd6242 100644
--- a/otherlibs/unix/mkdir.c
+++ b/otherlibs/unix/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/unix/mkfifo.c b/otherlibs/unix/mkfifo.c
index 997a0a5a7..f260cb74e 100644
--- a/otherlibs/unix/mkfifo.c
+++ b/otherlibs/unix/mkfifo.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/unix/nice.c b/otherlibs/unix/nice.c
index 068a9101e..6018af0c2 100644
--- a/otherlibs/unix/nice.c
+++ b/otherlibs/unix/nice.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/unix/open.c b/otherlibs/unix/open.c
index 068227a33..d3faf7e8d 100644
--- a/otherlibs/unix/open.c
+++ b/otherlibs/unix/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/unix/opendir.c b/otherlibs/unix/opendir.c
index 0a1c8b98e..8852f5332 100644
--- a/otherlibs/unix/opendir.c
+++ b/otherlibs/unix/opendir.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/unix/pipe.c b/otherlibs/unix/pipe.c
index 36a1903ef..6b571be65 100644
--- a/otherlibs/unix/pipe.c
+++ b/otherlibs/unix/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/unix/putenv.c b/otherlibs/unix/putenv.c
index c20fb8d25..962fd7902 100644
--- a/otherlibs/unix/putenv.c
+++ b/otherlibs/unix/putenv.c
@@ -6,7 +6,8 @@
/* */
/* Copyright 1998 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/unix/read.c b/otherlibs/unix/read.c
index ac8362399..03a9e6aaa 100644
--- a/otherlibs/unix/read.c
+++ b/otherlibs/unix/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/unix/readdir.c b/otherlibs/unix/readdir.c
index f832daa9e..9b1906e38 100644
--- a/otherlibs/unix/readdir.c
+++ b/otherlibs/unix/readdir.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/unix/readlink.c b/otherlibs/unix/readlink.c
index e843b571d..6cc4d9ec4 100644
--- a/otherlibs/unix/readlink.c
+++ b/otherlibs/unix/readlink.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/unix/rename.c b/otherlibs/unix/rename.c
index 619e64348..65f33c8b5 100644
--- a/otherlibs/unix/rename.c
+++ b/otherlibs/unix/rename.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/unix/rewinddir.c b/otherlibs/unix/rewinddir.c
index fc59a5bf5..bc01e0559 100644
--- a/otherlibs/unix/rewinddir.c
+++ b/otherlibs/unix/rewinddir.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/unix/rmdir.c b/otherlibs/unix/rmdir.c
index 167d8c8c7..8de223464 100644
--- a/otherlibs/unix/rmdir.c
+++ b/otherlibs/unix/rmdir.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/unix/select.c b/otherlibs/unix/select.c
index 681b0aaf3..5db3341bd 100644
--- a/otherlibs/unix/select.c
+++ b/otherlibs/unix/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/unix/sendrecv.c b/otherlibs/unix/sendrecv.c
index 8aef01982..ac9b32e85 100644
--- a/otherlibs/unix/sendrecv.c
+++ b/otherlibs/unix/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/unix/setgid.c b/otherlibs/unix/setgid.c
index c481594b4..bd8810f81 100644
--- a/otherlibs/unix/setgid.c
+++ b/otherlibs/unix/setgid.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/unix/setsid.c b/otherlibs/unix/setsid.c
index 3c2bbaedd..fed8e0dca 100644
--- a/otherlibs/unix/setsid.c
+++ b/otherlibs/unix/setsid.c
@@ -6,7 +6,8 @@
/* */
/* Copyright 1997 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/unix/setuid.c b/otherlibs/unix/setuid.c
index 346f948c4..c867f4c68 100644
--- a/otherlibs/unix/setuid.c
+++ b/otherlibs/unix/setuid.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/unix/shutdown.c b/otherlibs/unix/shutdown.c
index a6e3cf52c..f8216bd2e 100644
--- a/otherlibs/unix/shutdown.c
+++ b/otherlibs/unix/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/unix/signals.c b/otherlibs/unix/signals.c
index 3800c7238..95db00bd2 100644
--- a/otherlibs/unix/signals.c
+++ b/otherlibs/unix/signals.c
@@ -6,7 +6,8 @@
/* */
/* Copyright 1998 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/unix/sleep.c b/otherlibs/unix/sleep.c
index 9044b84da..ec14e39d0 100644
--- a/otherlibs/unix/sleep.c
+++ b/otherlibs/unix/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/unix/socket.c b/otherlibs/unix/socket.c
index f7a8af079..a61a1a309 100644
--- a/otherlibs/unix/socket.c
+++ b/otherlibs/unix/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/unix/socketaddr.c b/otherlibs/unix/socketaddr.c
index aa46f6da9..4be5f1291 100644
--- a/otherlibs/unix/socketaddr.c
+++ b/otherlibs/unix/socketaddr.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/unix/socketaddr.h b/otherlibs/unix/socketaddr.h
index df8e9b93a..9788a1009 100644
--- a/otherlibs/unix/socketaddr.h
+++ b/otherlibs/unix/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/unix/socketpair.c b/otherlibs/unix/socketpair.c
index 86c383b84..6c7b4ebc8 100644
--- a/otherlibs/unix/socketpair.c
+++ b/otherlibs/unix/socketpair.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/unix/sockopt.c b/otherlibs/unix/sockopt.c
index 299b394ce..1bef4f631 100644
--- a/otherlibs/unix/sockopt.c
+++ b/otherlibs/unix/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/unix/stat.c b/otherlibs/unix/stat.c
index a3c0f854f..a0f1c04a8 100644
--- a/otherlibs/unix/stat.c
+++ b/otherlibs/unix/stat.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/unix/strofaddr.c b/otherlibs/unix/strofaddr.c
index e89ad9dbf..f5a594d52 100644
--- a/otherlibs/unix/strofaddr.c
+++ b/otherlibs/unix/strofaddr.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/unix/symlink.c b/otherlibs/unix/symlink.c
index e24e68ef7..8c011152b 100644
--- a/otherlibs/unix/symlink.c
+++ b/otherlibs/unix/symlink.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/unix/termios.c b/otherlibs/unix/termios.c
index 29f8c70ca..e3c759444 100644
--- a/otherlibs/unix/termios.c
+++ b/otherlibs/unix/termios.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/unix/time.c b/otherlibs/unix/time.c
index 1d32c22c4..c63c2eb80 100644
--- a/otherlibs/unix/time.c
+++ b/otherlibs/unix/time.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/unix/times.c b/otherlibs/unix/times.c
index fecc272b5..c108cbfde 100644
--- a/otherlibs/unix/times.c
+++ b/otherlibs/unix/times.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/unix/truncate.c b/otherlibs/unix/truncate.c
index 57d912317..a3812ae56 100644
--- a/otherlibs/unix/truncate.c
+++ b/otherlibs/unix/truncate.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/unix/umask.c b/otherlibs/unix/umask.c
index 9750f7fc5..6f5d14fd0 100644
--- a/otherlibs/unix/umask.c
+++ b/otherlibs/unix/umask.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/unix/unix.ml b/otherlibs/unix/unix.ml
index 4f7c2fa53..332669abf 100644
--- a/otherlibs/unix/unix.ml
+++ b/otherlibs/unix/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/unix/unix.mli b/otherlibs/unix/unix.mli
index c2441b801..52577fc4c 100644
--- a/otherlibs/unix/unix.mli
+++ b/otherlibs/unix/unix.mli
@@ -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/unix/unixLabels.ml b/otherlibs/unix/unixLabels.ml
index 1de1a7a8c..683f15ec6 100644
--- a/otherlibs/unix/unixLabels.ml
+++ b/otherlibs/unix/unixLabels.ml
@@ -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/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli
index 4dab3375b..ab264e66f 100644
--- a/otherlibs/unix/unixLabels.mli
+++ b/otherlibs/unix/unixLabels.mli
@@ -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/unix/unixsupport.c b/otherlibs/unix/unixsupport.c
index a55b8e80e..247f722a2 100644
--- a/otherlibs/unix/unixsupport.c
+++ b/otherlibs/unix/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/unix/unixsupport.h b/otherlibs/unix/unixsupport.h
index dde49f35b..defd8e692 100644
--- a/otherlibs/unix/unixsupport.h
+++ b/otherlibs/unix/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/unix/unlink.c b/otherlibs/unix/unlink.c
index ae2116948..1d956758b 100644
--- a/otherlibs/unix/unlink.c
+++ b/otherlibs/unix/unlink.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/unix/utimes.c b/otherlibs/unix/utimes.c
index abd3e3423..51d34350c 100644
--- a/otherlibs/unix/utimes.c
+++ b/otherlibs/unix/utimes.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/unix/wait.c b/otherlibs/unix/wait.c
index f8c12d5e4..b660a75e4 100644
--- a/otherlibs/unix/wait.c
+++ b/otherlibs/unix/wait.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/unix/write.c b/otherlibs/unix/write.c
index 447ceeef7..0e02437b8 100644
--- a/otherlibs/unix/write.c
+++ b/otherlibs/unix/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. */
/* */
/***********************************************************************/