Re: FYI: undef $/.

[Tom Tromey]

>>>>> "Akim" == Akim Demaille <address@hidden> 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.

Akim>   * Makefile.am (maintainer-check): `undef $/' is OK.

Ok.

Tom