* configure: Fix bug put in by gremlins.
authorNathanael Nerode <neroden@gcc.gnu.org>
Wed, 11 Dec 2002 04:14:47 +0000 (04:14 +0000)
committerNathanael Nerode <neroden@gcc.gnu.org>
Wed, 11 Dec 2002 04:14:47 +0000 (04:14 +0000)
commit929293f4a3687cc1fa69de01d9816649797ec464
treed18fb5f8da993c3be0f0183bb215172a00fb607b
parentd03be79e9bcc316272f75e4eeda9b55102dc7dee
* configure: Fix bug put in by gremlins.
ChangeLog
configure