mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-20 05:17:54 +00:00
0c63755957
Add new versions at the top of the choice menu, not at the bottom.
20 lines
294 B
Plaintext
20 lines
294 B
Plaintext
# PPL options
|
|
|
|
choice
|
|
bool
|
|
prompt "PPL version"
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_BELOW
|
|
|
|
config PPL_V_0_10_2
|
|
bool
|
|
prompt "0.10.2"
|
|
|
|
endchoice
|
|
|
|
config PPL_VERSION
|
|
string
|
|
# Don't remove next line
|
|
# CT_INSERT_VERSION_STRING_BELOW
|
|
default "0.10.2" if PPL_V_0_10_2
|