OSDN Git Service

* configure.in (have_gmp): Only error if the gcc directory exists.
authorghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 11 Nov 2006 17:02:04 +0000 (17:02 +0000)
committerghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 11 Nov 2006 17:02:04 +0000 (17:02 +0000)
commitd9705883368d22b91a844eb2399ac180ba8b5f49
tree75a0d17cc9c87d8cdfd07e9e001dc1eac7387ff2
parenta2c554d8e62ea190f610bd74ecc6f52adca6aac8
* configure.in (have_gmp): Only error if the gcc directory exists.

* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118699 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog
configure
configure.in