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