Re: CVS autoconf is broken

[Paul Eggert]

   Date: Fri, 11 Aug 2000 12:30:27 -0400 (EDT)
   From: "John David Anglin" <[EMAIL PROTECTED]>

   Possibly `(exit $?); exit' could be simplified to just `exit'.

Yes, that's correct.  Sorry, I missed that in my earlier scan.