Re: remove 'exit'?

[Simon Josefsson]

Eric Blake <address@hidden> writes:

> On 05/02/2011 12:47 AM, Simon Josefsson wrote:
>> address@hidden (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