Re: [Bug-gnulib] order of dependencies

[Jim Meyering]

Bruno Haible <address@hidden> wrote:
> Jim Meyering wrote:
>> If you opt not to sort them, then it'd be nice if there
>> were some other mechanism to make duplicates unlikely.
>
> All gnulib modules so far have at most 7 dependencies. Since a human brain
> can store and compare 7 items simultaneously, this should not be an issue.

You might be surprised :-)

>> In sorting #include directives in coreutils' copy.c, I was surprised
>> to find a duplicate `#include "same.h"' just a few days ago.
>
> Btw, duplicates in the dependencies list are just as harmless as duplicate
> #include statements: gnulib-tool removes duplicates from the closure of the
> dependency list anyway.

IMHO, no such duplicate is completely harmless,
and providing a way to avoid them is worthwhile.
It'd be nice if gnulib-tool would warn about them.