]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9871e7a) | patch
configure.in (have_gmp): Only error if the gcc directory exists.
authorKaveh R. Ghazi <ghazi@caip.rutgers.edu>
Sat, 11 Nov 2006 17:02:04 +0000 (17:02 +0000)
committerKaveh Ghazi <ghazi@gcc.gnu.org>
Sat, 11 Nov 2006 17:02:04 +0000 (17:02 +0000)
commitdffb147de1b3455980972a076d18fa3cd515dc41
tree75a0d17cc9c87d8cdfd07e9e001dc1eac7387ff2tree
parent9871e7a0c5d5a26d76d9c919c9ea242fd1878a51commit | diff
configure.in (have_gmp): Only error if the gcc directory exists.

* configure.in (have_gmp): Only error if the gcc directory exists.

* configure: Regenerate.

From-SVN: r118699
ChangeLog diff | blob | blame | history
configure diff | blob | blame | history
configure.in diff | blob | blame | history
GNU Compiler Collection
This page took 0.053043 seconds and 5 git commands to generate.