view run-test.sh @ 12791:679a1fa26479 HEAD

HEAD branch somehow came back. Removing it again.
author Timo Sirainen <tss@iki.fi>
date Fri, 25 Feb 2011 10:54:45 +0200
parents 892d28020605
children 22e39b6bef32
line wrap: on
line source

#!/bin/sh

trap "rm -f test.out.$$" 0 1 2 3 15

if valgrind --version | grep '^valgrind-3.[012]'; then
  # RHEL 5.4 still has Valgrind v3.2
  valgrind -q --log-file-exactly=test.out.$$ $*
else
  # v3.3+
  valgrind -q --log-file=test.out.$$ $*
fi
if [ -s test.out.$$ ]; then
  cat test.out.$$
  exit 1
fi