changeset 3105:852789920c11

(wait_for_termination): Don't use the BSD alternative for LINUX.
author Richard M. Stallman <rms@gnu.org>
date Tue, 25 May 1993 23:22:08 +0000
parents 3c6fccdf8257
children a5b3a34ba1e4
files src/sysdep.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/sysdep.c	Tue May 25 23:19:45 1993 +0000
+++ b/src/sysdep.c	Tue May 25 23:22:08 1993 +0000
@@ -314,7 +314,7 @@
       status = SYS$FORCEX (&pid, 0, 0);
       break;
 #else /* not VMS */
-#if defined (BSD) || (defined (HPUX) && !defined (HPUX_5))
+#if (defined (BSD) && !defined (LINUX)) || (defined (HPUX) && !defined (HPUX_5))
       /* Note that kill returns -1 even if the process is just a zombie now.
 	 But inevitably a SIGCHLD interrupt should be generated
 	 and child_sig will do wait3 and make the process go away. */
@@ -333,7 +333,7 @@
 	sleep (1);
       else
 	sigpause (SIGEMPTYMASK);
-#else /* not BSD, and not HPUX version >= 6 */
+#else /* not BSD, not LINUX, and not HPUX version >= 6 */
 #ifdef UNIPLUS
       if (0 > kill (pid, 0))
 	break;