From: Russ Allbery <rra@debian.org>
Date: Thu, 15 Jul 2010 16:52:08 +0000 (-0700)
Subject: kill extensions must only be supported if it's a built-in
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=f70d20ea1a96bc1d44287f2c6a1b9d1643c9a5a4;p=debian%2Fdebian-policy.git

kill extensions must only be supported if it's a built-in

Otherwise, coreutils will take care of it.
---

diff --git a/policy.sgml b/policy.sgml
index a235116..d694fd2 100644
--- a/policy.sgml
+++ b/policy.sgml
@@ -7465,7 +7465,8 @@ fname () {
 	      -<var>signal</var></tt>, where <var>signal</var> is either
 	      the name of a signal or one of the numeric signals listed in
 	      the XSI extension (0, 1, 2, 3, 6, 9, 14, and 15), must be
-	      supported.
+	      supported if <prgn>kill</prgn> is implemented as a shell
+	      built-in.
 	    </item>
 	    <item>The XSI extension to <prgn>trap</prgn> allowing numeric
 	      signals must be supported.  In addition to the signal