Add a warning about duplicate dependencies.

diff --git a/ChangeLog b/ChangeLog
index 0376830ce73a3ef5002668a1bebd83c3f5674249..69dfd7d513109b8524a0442668b0d9c56a26c68f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-09-16  Bruno Haible  <bruno@clisp.org>
+
+       * gnulib-tool (func_create_testdir): Warn about duplicated
+       dependencies.
+
 2003-09-15  Paul Eggert  <eggert@twinsun.com>
 
        * modules/argmatch, modules/fatal, modules/obstack,

diff --git a/gnulib-tool b/gnulib-tool
index aa407676eff2dda2bedf53cf0eea1d6968443398..2cb4e0281820803b65a9b0a7769dab3c3252049f 100755 (executable)
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2003-08-17 15:25:00 $'
+cvsdatestamp='$Date: 2003-09-16 14:53:35 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 
@@ -300,6 +300,11 @@ func_create_testdir ()
     for module in $modules; do
       func_verify_module
       if test -n "$module"; then
+        # Duplicate dependenies are harmless, but Jim wants a warning.
+        duplicated_deps=`func_get_dependencies $module | sort | uniq -d`
+        if test -n "$duplicated_deps"; then
+          echo "warning: module $module has duplicated dependencies: "`echo $duplicated_deps` 1>&2
+        fi
         xmodules="$xmodules $module "`func_get_dependencies $module`
       fi
     done