Re: [Bug-gnulib] order of dependencies

[Bruno Haible]

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.

> 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.

Bruno