cf/maybe-valgrind.sh

   1 #!/bin/sh
   2 #
   3 # Copyright (c) 2006 - 2007 Kungliga Tekniska Högskolan
   4 # (Royal Institute of Technology, Stockholm, Sweden).
   5 # All rights reserved.
   6 #
   7 # Redistribution and use in source and binary forms, with or without
   8 # modification, are permitted provided that the following conditions
   9 # are met:
  10 #
  11 # 1. Redistributions of source code must retain the above copyright
  12 #    notice, this list of conditions and the following disclaimer.
  13 #
  14 # 2. Redistributions in binary form must reproduce the above copyright
  15 #    notice, this list of conditions and the following disclaimer in the
  16 #    documentation and/or other materials provided with the distribution.
  17 #
  18 # 3. Neither the name of the Institute nor the names of its contributors
  19 #    may be used to endorse or promote products derived from this software
  20 #    without specific prior written permission.
  21 #
  22 # THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
  23 # ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  24 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  25 # ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
  26 # FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  27 # DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  28 # OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  29 # HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  30 # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  31 # OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  32 # SUCH DAMAGE.
  33
  34
  35 while true
  36 do
  37   case $1 in
  38   -s) tsrcdir="$2"; shift 2;;
  39   -o) tobjdir="$2"; shift 2;;
  40   -*) echo "$0: Bad option $1"; echo $usage; exit 1;;
  41   *) break;;
  42   esac
  43 done
  44
  45 if [ X"${tobjdir}" = "X" -o X"${tsrcdir}" = X ] ; then
  46     echo "tobjdir or tsrcdir not defined"
  47     exit 1
  48 fi
  49
  50 if [ ! -f "${tobjdir}/libtool" ]; then
  51     echo "libtool missing from \"${tobjdir}\""
  52     exit 1
  53 fi
  54
  55 doit=1
  56
  57 libtool="${tobjdir}/libtool --mode=execute"
  58
  59 valgrind="valgrind --leak-check=full --trace-children=yes --quiet -q --num-callers=30 --suppressions=${tsrcdir}/cf/valgrind-suppressions"
  60
  61 if head -10 "$1" | grep 'Generated by ltmain.sh' > /dev/null ; then
  62     uselibtool=1
  63 elif head -10 "$1" | grep 'bin/sh' > /dev/null ; then
  64     libtool=
  65     valgrind=
  66 fi
  67
  68 exec $libtool $valgrind "$@"