Files
secondo/bin/SecondoTTYCS

24 lines
608 B
Plaintext
Raw Permalink Normal View History

2026-01-23 17:03:45 +08:00
#
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 $*