diff options
Diffstat (limited to 'kconfig/toolchain.kconfig')
| -rw-r--r-- | kconfig/toolchain.kconfig | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/kconfig/toolchain.kconfig b/kconfig/toolchain.kconfig index f5727d1..bd5029c 100644 --- a/kconfig/toolchain.kconfig +++ b/kconfig/toolchain.kconfig @@ -67,17 +67,20 @@ menu "Linux kernel headers" source "kconfig/linux.kconfig" endmenu -menu "GMP" -source "kconfig/gmp.kconfig" -endmenu +# +# GMP +# +source kconfig/gmp.kconfig -menu "MPFR" -source "kconfig/mpfr.kconfig" -endmenu +# +# MPFR +# +source kconfig/mpfr.kconfig -menu "MPC" -source "kconfig/mpc.kconfig" -endmenu +# +# MPC +# +source kconfig/mpc.kconfig # # ccache |