diff options
Diffstat (limited to 'kconfig/mpfrhost.kconfig')
| -rw-r--r-- | kconfig/mpfrhost.kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kconfig/mpfrhost.kconfig b/kconfig/mpfrhost.kconfig index 90d8037..cf06f43 100644 --- a/kconfig/mpfrhost.kconfig +++ b/kconfig/mpfrhost.kconfig @@ -32,6 +32,7 @@ choice config EMBTK_MPFR_HOST_VERSION_2_4_2 bool "mpfr-2.4.2" + select EMBTK_MPFR_HOST_VERSION_PATCH config EMBTK_MPFR_HOST_VERSION_2_4_1 bool "mpfr-2.4.1" select EMBTK_MPFR_HOST_VERSION_PATCH |