mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-04 01:50:59 +00:00
a8cef5773e
GDB 13+ depends on MPFR thus it must be selected. Signed-off-by: Yuriy Kolerov <ykolerov@synopsys.com>