24 lines
608 B
Plaintext
24 lines
608 B
Plaintext
#
|
|
executable=$(which SecondoCS)
|
|
|
|
VALGRIND_STD_OPTIONS=" --num-callers=25 --suppressions=vgs.txt --error-limit=no --smc-check=all --track-origins=yes"
|
|
|
|
if [ "$1" == "--valgrind" ]; then
|
|
shift
|
|
runner="valgrind $VALGRIND_STD_OPTIONS $executable"
|
|
else
|
|
if [ "$1" == "--valgrindlc" ]; then
|
|
shift
|
|
runner="valgrind $VALGRIND_STD_OPTIONS --leak-check=full $executable"
|
|
else
|
|
if [ "$1" == "--profile" ]; then
|
|
shift
|
|
runner="valgrind --tool=callgrind --dump-instr=yes --trace-jump=yes $executable"
|
|
else
|
|
runner=$executable
|
|
fi
|
|
fi
|
|
fi
|
|
|
|
$runner $*
|