2007-04-12 Simon Josefsson <simon@josefsson.org>

	* gnulib-tool (func_modules_add_dummy): Respect --avoid=dummy.

diff --git a/ChangeLog b/ChangeLog
index adfaa234c4c79d23fe5c3c96e81ecfd450d5c3fc..1c3ac17a6519816252d42e533b374f589c58029f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-04-12  Simon Josefsson  <simon@josefsson.org>
+
+       * gnulib-tool (func_modules_add_dummy): Respect --avoid=dummy.
+
 2007-04-12  Simon Josefsson  <simon@josefsson.org>
 
        * modules/autobuild: New module.

diff --git a/gnulib-tool b/gnulib-tool
index cff06fc74a4f8065ad1a50dedd6f3403ecb346d2..51cd7cec510631554e85b129ce9a9538a9089b0e 100755 (executable)
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2007-04-03 23:27:57 $'
+cvsdatestamp='$Date: 2007-04-12 11:56:38 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 nl='
@@ -1175,7 +1175,9 @@ ba
   done
   # Add the dummy module, to make sure the library will be non-empty.
   if test -z "$have_lib_SOURCES"; then
-    func_append modules " dummy"
+    if func_acceptable "dummy"; then
+      func_append modules " dummy"
+    fi
   fi
 }