https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69725

--- Comment #19 from Romain Geissler <romain.geissler at amadeus dot com> ---
Note: don't forget to apply the gmp patch to the "configure" file too (wasted
some time myself because I did...)

Reply via email to