config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Mar 28 23:01:19 2010 +0200 (2010-03-28)
changeset 1863 11cc7a5102fa
parent 1603 e0ef539e23d9
child 2444 896cb0d36c1a
permissions -rw-r--r--
scripts/populate: cleanups and misc fixes

- it's a POSIX compliant shell script: drop bash, use /bin/sh
- fix help text
- use an absolute path for sysroot
- replace "echo" with "printf"
- replace "stat -c '%i'" with "ls -1id"
- replace "pushd / popd" with "cd / cd -"
- remove superfluous break
- bail out if required lib not found, except if forced
     1 # dmalloc debug facility
     2 # depends on ! BACKEND
     3 
     4 config DEBUG_dmalloc
     5     bool
     6 
     7 choice
     8     bool
     9     prompt "dmalloc version"
    10 # Don't remove next line
    11 # CT_INSERT_VERSION_BELOW
    12 
    13 config DMALLOC_V_5_5_2
    14     bool
    15     prompt "5.5.2"
    16 
    17 endchoice
    18 
    19 config DMALLOC_VERSION
    20     string
    21 # Don't remove next line
    22 # CT_INSERT_VERSION_STRING_BELOW
    23     default "5.5.2" if DMALLOC_V_5_5_2