scripts/valgrind-wrapper.sh
changeset 1064 fc3854d936f7
equal deleted inserted replaced
-1:000000000000 0:0b56b494cf3c
       
     1 #!/bin/sh
       
     2 
       
     3 # Run in valgrind, with leak checking enabled
       
     4 
       
     5 valgrind -q --leak-check=full "$@" 2> .valgrind-log
       
     6 
       
     7 # Save the test result
       
     8 
       
     9 result="$?"
       
    10 
       
    11 # Valgrind should generate no error messages
       
    12 
       
    13 log_contents="`cat .valgrind-log`"
       
    14 
       
    15 if [ "$log_contents" != "" ]; then
       
    16         cat .valgrind-log >&2
       
    17         result=1
       
    18 fi
       
    19 
       
    20 rm -f .valgrind-log
       
    21 
       
    22 exit $result