Update comment.

diff --git a/ChangeLog b/ChangeLog
index 13a3f54..8580810 100644 (file)
--- 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 8c621c3..58accba 100755 (executable)
--- 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