config/companion_libs/ppl.in
author Remy Bohmer <linux@bohmer.net>
Thu May 27 23:18:19 2010 +0200 (2010-05-27)
changeset 2060 51e4597b07fc
parent 1386 7995942261f2
child 2072 72b3996ba3e6
permissions -rw-r--r--
scripts: add option to strip all toolchain executables

To reduce filesizes of the toolchain and even improve build times
of projects to be build with this toolchain it is usefull to strip
the delivered toolchain executables. Since it is not likely that we
will debug the toolchain executables itself we do not need the
debug information inside the executables itself.

Signed-off-by: Remy Bohmer <linux@bohmer.net>
     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_10_2
    10     bool
    11     prompt "0.10.2"
    12 
    13 endchoice
    14 
    15 config PPL_VERSION
    16     string
    17 # Don't remove next line
    18 # CT_INSERT_VERSION_STRING_BELOW
    19     default "0.10.2" if PPL_V_0_10_2