From f70d20ea1a96bc1d44287f2c6a1b9d1643c9a5a4 Mon Sep 17 00:00:00 2001
From: Russ Allbery <rra@debian.org>
Date: Thu, 15 Jul 2010 09:52:08 -0700
Subject: [PATCH] kill extensions must only be supported if it's a built-in

Otherwise, coreutils will take care of it.
---
 policy.sgml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.5