Tom Tromey <[EMAIL PROTECTED]> writes:
> >>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:
>
> Akim> Question: why do we grep . after grep -v? It is not guaranteed that
> Akim> grep -v will exit positive when it output something?
>
> I don't know. cvs annotate claims you added those lines. In the past
> we used `wc -l'. If it works without the extra grep that's fine by
> me.
Yep, I removed the test "`.... | wc -l `" and went to `| grep' which,
IMHO, is more readable, and more Autoconf like. But I didn't really
think about the usefulness of the | grep after a grep -v.
