From: Bruno Haible <bruno@clisp.org>
Date: Tue, 2 May 2006 14:31:00 +0000 (+0000)
Subject: Make --update option actually work.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54bfcf266e208d1d8abc93885934254e852739ca;p=pspp

Make --update option actually work.
---

diff --git a/ChangeLog b/ChangeLog
index 05100df596..6d085bd962 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-04-25  Bruno Haible  <bruno@clisp.org>
+
+	* gnulib-tool: Make --update option actually work.
+
 2006-04-25  Bruno Haible  <bruno@clisp.org>
 
 	* gnulib-tool (func_import): Output the include directives in three
diff --git a/gnulib-tool b/gnulib-tool
index fbdd5b6a68..018ab80210 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2006-04-25 12:01:00 $'
+cvsdatestamp='$Date: 2006-05-02 14:31:00 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 
@@ -403,7 +403,7 @@ func_ln_if_changed ()
       echo "you need to use 'gnulib --import' - at your own risk!" 1>&2
       exit 1
     fi
-    if test -n "$libname" || test -n "$sourcebase" || test -n "$m4base" \
+    if test -n "$supplied_libname" || test -n "$sourcebase" || test -n "$m4base" \
        || test -n "$testsbase" || test -n "$auxdir" || test -n "$inctests" \
        || test -n "$avoidlist" || test -n "$lgpl" || test -n "$macro_prefix"; then
       echo "gnulib-tool: invalid options for 'update' mode" 1>&2