config/companion_libs/ppl.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Oct 05 23:59:16 2010 +0200 (2010-10-05)
changeset 2134 af1a779a7f1a
parent 1535 073d351bdcd3
child 2318 11c21c4c5c51
permissions -rw-r--r--
scripts: update distclean

The toolchains are now built in .build/ rather than in targets/
so distclean has to get rid of that.

We also clean up the old dir, as users may have old samples that
still refer to the old location.

Do not hide messages during distclean, and do not ignore errors.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # PPL options
     2 
     3 choice
     4     bool
     5     prompt "PPL version"
     6 # Don't remove next line
     7 # CT_INSERT_VERSION_BELOW
     8 
     9 config PPL_V_0_11
    10     bool
    11     prompt "0.11 (EXPERIMENTAL)"
    12     depends on EXPERIMENTAL
    13 
    14 config PPL_V_0_10_2
    15     bool
    16     prompt "0.10.2"
    17 
    18 endchoice
    19 
    20 config PPL_VERSION
    21     string
    22 # Don't remove next line
    23 # CT_INSERT_VERSION_STRING_BELOW
    24     default "0.11" if PPL_V_0_11
    25     default "0.10.2" if PPL_V_0_10_2