+ # 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