1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
#!/usr/bin/env bash
function usage() {
echo "check for valgrind error and set the exit code"
}
function cleanup() {
if [ "$logfile" != "" ] ; then rm $logfile; fi
exit 1
}
args=$*
logfile=
createlogfile=0
errorexitcode=1
while [ $# -gt 0 ] ; do
arg=$1; shift
if [[ $arg =~ "--" ]] ; then
if [[ $arg =~ --log-file=(.*) ]] ; then
logfile=${BASH_REMATCH[1]}
elif [[ $arg =~ --error-exitcode=(.*) ]] ; then
errorexitcode=${BASH_REMATCH[1]}
fi
else
break
fi
done
if [ "$logfile" = "" ] ; then
createlogfile=1
trap cleanup SIGINT
logfile=`mktemp /tmp/$(whoami).tokugrind.XXXXXXXX`
args="--log-file=$logfile $args"
fi
valgrind $args
exitcode=$?
if [ $exitcode = 0 ] ; then
lines=$(wc -l <$logfile)
if [ $lines -ne 0 ] ; then
exitcode=$errorexitcode
fi
fi
if [ $createlogfile != 0 ] ; then
cat $logfile >>/dev/stderr
rm $logfile
fi
exit $exitcode
|
