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