Eric Blake wrote: > > The Makefile dependency would be highly annoying. Many users don't use the > > automake option 'no-dependencies', therefore use full dependencies. > > A rebuild or modification of a generated header file like string.h or > > unistd.h > > causes large parts of the package to be rebuilt. The user then sits there > > for minutes and minutes, waiting for gcc to do its job. > > Point taken. Patch withdrawn. Which leaves us back in the situation that > if you pick up a gnulib change that alters how string.h would be created, > but that does not affect string_.h, you must either start from 'make > distclean' or remove the offending string.h yourself.
'make clean' will be sufficient in such a case. But anyway, "make distclean" is a good idea right before or after running gnulib-tool. Bruno
