------- Comment #1 from bje at gcc dot gnu dot org 2008-01-22 04:57 ------- I agree with your reasoning for the easy fix. I'll post a patch and we'll see if it is accepted. If not, there is a fair bit more work involved to split the gmplibs variable into two new variables.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34818
