[Bug bootstrap/21288] bootstrap issues with profiledbootstrap

[bh at techhouse dot brown dot edu]

------- Additional Comments From bh at techhouse dot brown dot edu  2005-05-03 15:18 -------
My (apparently broken) gmp is:
> rpm -qf /usr/lib/libgmp.so.3.3.2 
gmp-4.1.2-2

Downloading a new GMP (4.1.4, which creates libgmp.so.3.3.3) appears to work.  I
wonder if it's easy to check for this situation?  Anyway, thanks for the hint.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21288