diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 16:38:06 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 16:38:06 (GMT) |
commit | 0c6375595702e370b3e5784eabdc87f0f5282fed (patch) | |
tree | 17070ee50f852e9e9a4d9457ec545e441126ac29 /config/companion_libs/gmp.in | |
parent | caeb4ada2387a8750acba9c514f0f356e142e777 (diff) |
scripts: add new version at top of choice
Add new versions at the top of the choice menu, not at the bottom.
Diffstat (limited to 'config/companion_libs/gmp.in')
-rw-r--r-- | config/companion_libs/gmp.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 5a8c78c..75628d9 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -3,6 +3,8 @@ choice bool prompt "GMP version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config GMP_V_4_3_1 bool @@ -20,15 +22,13 @@ config GMP_V_4_2_2 bool prompt "4.2.2" -# CT_INSERT_VERSION_ABOVE -# Don't remove above line! endchoice config GMP_VERSION string +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW default "4.3.1" if GMP_V_4_3_1 default "4.3.0" if GMP_V_4_3_0 default "4.2.4" if GMP_V_4_2_4 default "4.2.2" if GMP_V_4_2_2 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! |