From: Simon Josefsson <simon@josefsson.org>
Date: Thu, 12 Apr 2007 11:56:38 +0000 (+0000)
Subject: 2007-04-12  Simon Josefsson  <simon@josefsson.org>
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59d13ed9c9afcd5e326620104f1ef2f75fde1786;p=pspp

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

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

diff --git a/ChangeLog b/ChangeLog
index adfaa234c4..1c3ac17a65 100644
--- 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 cff06fc74a..51cd7cec51 100755
--- 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
 }