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