Re: remove 'exit'?

[Simon Josefsson]

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.

> I would agree even more with keeping the module as an "alias" for stdlib
> so as to avoid this seemingly-gratuitious backward incompatibility, but
> nobody suggested that, so I guess I won't :).

It is more work documenting solutions like that... I hope it won't be
necessary.

/Simon