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/cloog.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/cloog.in')
| -rw-r--r-- | config/companion_libs/cloog.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 7ae6f87..75ddb14 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -3,6 +3,8 @@ choice bool prompt "CLooG/ppl version" +# Don't remove next line +# CT_INSERT_VERSION_BELOW config CLOOG_V_0_15_7 bool @@ -24,16 +26,14 @@ config CLOOG_V_0_15_3 bool prompt "0.15.3" -# CT_INSERT_VERSION_ABOVE -# Don't remove above line! endchoice config CLOOG_VERSION string +# Don't remove next line +# CT_INSERT_VERSION_STRING_BELOW default "0.15.7" if CLOOG_V_0_15_7 default "0.15.6" if CLOOG_V_0_15_6 default "0.15.5" if CLOOG_V_0_15_5 default "0.15.4" if CLOOG_V_0_15_4 default "0.15.3" if CLOOG_V_0_15_3 -# CT_INSERT_VERSION_STRING_ABOVE -# Don't remove above line! |