From: Bruno Haible <bruno@clisp.org>
Date: Sat, 23 Jun 2007 10:14:04 +0000 (+0000)
Subject: Tweak comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=79c6120f531843f8933ac1acbf6ea8df20d5024e;p=pspp

Tweak comment.
---

diff --git a/gnulib-tool b/gnulib-tool
index a84b0f1812..ba865ee03a 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2007-06-23 09:52:09 $'
+cvsdatestamp='$Date: 2007-06-23 10:14:04 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 nl='
@@ -471,7 +471,7 @@ $*
 EOF
 }
   else
-    # 'printf' is a shell built-in. Now it's safe to define 'echo'.
+    # 'printf' is a shell built-in.
 echo ()
 {
   printf '%s\n' "$*"
diff --git a/tests/test-echo.sh b/tests/test-echo.sh
index 45eabd7336..b1e40472f5 100755
--- a/tests/test-echo.sh
+++ b/tests/test-echo.sh
@@ -76,7 +76,7 @@ $*
 EOF
 }
   else
-    # 'printf' is a shell built-in. Now it's safe to define 'echo'.
+    # 'printf' is a shell built-in.
 echo ()
 {
   printf '%s\n' "$*"