From ddc7733783792d50569dca78676be42b1b829ea5 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 4 Mar 2012 14:43:14 +0000
Subject: [PATCH] -fix

---
 src/arm/do_start_process.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/arm/do_start_process.c b/src/arm/do_start_process.c
index 865ea8e7d..4554f5729 100644
--- a/src/arm/do_start_process.c
+++ b/src/arm/do_start_process.c
@@ -7,6 +7,7 @@
  * limitation that it does NOT allow passing command line arguments
  * with spaces to the new process.
  *
+ * @param pipe_control should a pipe be used to send signals to the child?
  * @param lsocks array of listen sockets to dup starting at fd3 (systemd-style), or NULL
  * @param first_arg first argument for argv (may be an empty string)
  * @param ... more arguments, NULL terminated
-- 
2.25.1