author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Sun Jan 31 13:10:16 2010 +0100 (2010-01-31) | |
branch | gcc-4.4 |
changeset 1771 | 4341aae65c61 |
parent 1324 | 48c12c696778 |
child 1535 | 073d351bdcd3 |
permissions | -rw-r--r-- |
1 # PPL options
3 choice
4 bool
5 prompt "PPL version"
7 config PPL_V_0_10_2
8 bool
9 prompt "0.10.2"
11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
13 endchoice
15 config PPL_VERSION
16 string
17 default "0.10.2" if PPL_V_0_10_2
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!