diff options
Diffstat (limited to 'runv')
-rwxr-xr-x | runv | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -4,7 +4,13 @@ if [ "$2" = "" ]; then else tocf="$2" fi -valgrind -q --track-origins=yes --error-exitcode=1 --malloc-fill=0xcd --free-fill=0xef --num-callers=100 ./toc $tocf || exit 1 +if [ "$1" = "noq" ]; then + FLAGS= +else + FLAGS="-q" +fi + +valgrind $FLAGS --track-origins=yes --error-exitcode=1 --malloc-fill=0xcd --free-fill=0xef --num-callers=100 ./toc $tocf || exit 1 if [ "$1" = "c" ]; then gcc out.c && ./a.out elif [ "$1" = "pc" ]; then |