1 files changed, 17 insertions, 16 deletions

diff --git a/src/sysdep.c b/src/sysdep.c
index 9a7045f3610..ea9a25cc6e7 100644
--- a/src/sysdep.c
+++ b/src/sysdep.c
@@ -296,23 +296,8 @@ init_baud_rate (int fd)
 int wait_debugging EXTERNALLY_VISIBLE;
 
 #ifndef MSDOS
-/* Wait for subprocess with process id `pid' to terminate and
-   make sure it will get eliminated (not remain forever as a zombie) */
 
-void
-wait_for_termination (int pid)
-{
-  wait_for_termination_1 (pid, 0);
-}
-
-/* Like the above, but allow keyboard interruption. */
-void
-interruptible_wait_for_termination (int pid)
-{
-  wait_for_termination_1 (pid, 1);
-}
-
-void
+static void
 wait_for_termination_1 (int pid, int interruptible)
 {
   while (1)
@@ -357,6 +342,22 @@ wait_for_termination_1 (int pid, int interruptible)
     }
 }
 
+/* Wait for subprocess with process id `pid' to terminate and
+   make sure it will get eliminated (not remain forever as a zombie) */
+
+void
+wait_for_termination (int pid)
+{
+  wait_for_termination_1 (pid, 0);
+}
+
+/* Like the above, but allow keyboard interruption. */
+void
+interruptible_wait_for_termination (int pid)
+{
+  wait_for_termination_1 (pid, 1);
+}
+
 /*
  *      flush any pending output
  *      (may flush input as well; it does not matter the way we use it)