Eric Blake <ebl...@redhat.com> writes: > On 05/02/2011 12:47 AM, Simon Josefsson wrote: >> k...@freefriends.org (Karl Berry) writes: >> >>> FWIW, I also agree with just removing the module instead of trying to >>> ever-escalate warnings. My experience is that few people are likely to >>> deal with it until it becomes an error regardless of warning. >> >> Alas, I don't think it becomes an error even if we remove it -- I recall >> that gnulib-tool just prints another warning for unknown modules. But >> it shouldn't do any harm, which is the important aspect. >> >> I have removed the module now. > > Except that you forgot to remove 'exit' from the Dependencies: section > of other modules. I'm doing that now.
Thank you! That shouldn't have been there since it was deprecated, I think, so a lot of projects probably still use the module indirectly. Anyway, getting rid of the module still seems useful -- we can always revert the decision if it turns out to be messy. /Simon
