On Sat, Oct 11 2014 at 09:29:47 PM, Werner LEMBERG <w...@gnu.org> wrote: >> Here is a patch that calls `config.status' before `make distclean' >> in tmp/src/libs/gnulib to force the creation of .deps directories, >> which fixes the problem. [...] > > Thanks, please commit.
Done. Regards, -- Bertrand Garrigues
