scripts/build/debug/duma.in
changeset 645 8e58024f8e37
child 686 dd364fef67b4
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/scripts/build/debug/duma.in	Sun Jul 13 10:32:38 2008 +0000
     1.3 @@ -0,0 +1,44 @@
     1.4 +#!/bin/sh
     1.5 +# (C) 2008 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
     1.6 +# Licensed under the GPL v.2
     1.7 +
     1.8 +LIBDUMA_SO=
     1.9 +
    1.10 +case "$1" in
    1.11 +  -on)
    1.12 +    case "${LD_PRELOAD}" in
    1.13 +      *${LIBDUMA_SO}*) ;;
    1.14 +      *) LD_PRELOAD="${LIBDUMA_SO} ${LD_PRELOAD}";;
    1.15 +    esac
    1.16 +    shift
    1.17 +    ;;
    1.18 +  -off)
    1.19 +    LD_PRELOAD="${LD_PRELOAD//${LIBDUMA_SO}/}"
    1.20 +    shift
    1.21 +    ;;
    1.22 +  -show)
    1.23 +    case "${LD_PRELOAD}" in
    1.24 +      *${LIBDUMA_SO}*) echo "duma is enabled";;
    1.25 +      *)               echo "duma is disabled";;
    1.26 +    esac
    1.27 +    exit 0
    1.28 +    ;;
    1.29 +  "")
    1.30 +    cat <<_EOF_
    1.31 +Usage:
    1.32 +    . $0 <-on|-off|-show>
    1.33 +        Sets, unsets or show DUMA usage.
    1.34 +    $0 <executable [arg...]>
    1.35 +        Execute 'executable' (with arguments 'args') using DUMA.
    1.36 +_EOF_
    1.37 +    false # Don't 'exit', we could well be source'd
    1.38 +    ;;
    1.39 +  *)
    1.40 +    exec "$0" -on "$@"
    1.41 +    ;;
    1.42 +esac
    1.43 +
    1.44 +export LD_PRELOAD
    1.45 +if [ -n "$1" ]; then
    1.46 +  exec "$@"
    1.47 +fi