# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738372233 0
# Node ID a5b3a34ba1e44ede644546abfa12e6218d1c7d74
# Parent  852789920c11cc101bb45a75c1b35b6be73912fb
(wait_for_termination) [LINUX]: Use the UNIPLUS alternative.

diff -r 852789920c11 -r a5b3a34ba1e4 src/sysdep.c
--- a/src/sysdep.c	Tue May 25 23:22:08 1993 +0000
+++ b/src/sysdep.c	Tue May 25 23:23:53 1993 +0000
@@ -334,11 +334,11 @@
       else
 	sigpause (SIGEMPTYMASK);
 #else /* not BSD, not LINUX, and not HPUX version >= 6 */
-#ifdef UNIPLUS
+#if defined (UNIPLUS) || defined (LINUX)
       if (0 > kill (pid, 0))
 	break;
       wait (0);
-#else /* neither BSD nor UNIPLUS: random sysV */
+#else /* neither BSD nor UNIPLUS nor LINUX: random sysV */
 #ifdef HAVE_SYSV_SIGPAUSE
       sighold (SIGCHLD);
       if (0 > kill (pid, 0))