diff options
Diffstat (limited to 'kconfig/toolchain.kconfig')
| -rw-r--r-- | kconfig/toolchain.kconfig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kconfig/toolchain.kconfig b/kconfig/toolchain.kconfig index 251c722..de62709 100644 --- a/kconfig/toolchain.kconfig +++ b/kconfig/toolchain.kconfig @@ -68,15 +68,15 @@ source "kconfig/linux.kconfig" endmenu menu "GMP" -source "kconfig/gmphost.kconfig" +source "kconfig/gmp.kconfig" endmenu menu "MPFR" -source "kconfig/mpfrhost.kconfig" +source "kconfig/mpfr.kconfig" endmenu menu "MPC" -source "kconfig/mpchost.kconfig" +source "kconfig/mpc.kconfig" endmenu # |