From aaca8e8ecf3420607eaf117a557e459f7836371f Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sat, 20 Sep 2008 14:42:41 +0200
Subject: [PATCH] Update comment.

---
 ChangeLog   | 4 ++++
 gnulib-tool | 4 +++-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 13a3f544d9..8580810106 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-09-18  Bruno Haible  <bruno@clisp.org>
+
+	* gnulib-tool (func_exit): Update comment.
+
 2008-09-18  Simon Josefsson  <simon@josefsson.org>
 
 	* modules/getaddrinfo (Depends-on): Remove strdup, this module
diff --git a/gnulib-tool b/gnulib-tool
index 8c621c3f1f..58accbad48 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -262,7 +262,9 @@ func_emit_copyright_notice ()
 }
 
 # func_exit STATUS
-# exit with status
+# exits with a given status.
+# This function needs to be used, rather than 'exit', when a 'trap' handler is
+# in effect that refers to $?.
 func_exit ()
 {
   (exit $1); exit $1
-- 
2.30.2