* configure.in: Fix typo in handling of --with-mpfr-dir.
commitc6d3d5c93cc4b6d7eff3729833f3271644d41f71
authorDJ Delorie <dj@delorie.com>
Mon, 6 Jun 2005 18:36:50 +0000 (6 18:36 +0000)
committerDJ Delorie <dj@delorie.com>
Mon, 6 Jun 2005 18:36:50 +0000 (6 18:36 +0000)
tree97fcb3c106ee80ea7ed13bc5a761c3f9c92b6cfb
parente998b06aca51c0cf93307f987b5bfc38832d5426
* configure.in: Fix typo in handling of --with-mpfr-dir.
* configure: Regenerate.
ChangeLog
configure
configure.in