Browse Source

tools/valgrind/valgrind.sh: do not need -v option when running valgrind

Nathalie Furmento 8 years ago
parent
commit
7585b099a8
1 changed files with 2 additions and 2 deletions
  1. 2 2
      tools/valgrind/valgrind.sh

+ 2 - 2
tools/valgrind/valgrind.sh

@@ -2,7 +2,7 @@
 #
 #
 # StarPU --- Runtime system for heterogeneous multicore architectures.
 # StarPU --- Runtime system for heterogeneous multicore architectures.
 #
 #
-# Copyright (C) 2016 CNRS
+# Copyright (C) 2016, 2017 CNRS
 #
 #
 # StarPU is free software; you can redistribute it and/or modify
 # StarPU is free software; you can redistribute it and/or modify
 # it under the terms of the GNU Lesser General Public License as published by
 # it under the terms of the GNU Lesser General Public License as published by
@@ -23,4 +23,4 @@ else
     RUN="valgrind --tool=$EXEC"
     RUN="valgrind --tool=$EXEC"
 fi
 fi
 SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr ; do echo "--suppressions=$f" ; done)
 SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr ; do echo "--suppressions=$f" ; done)
-$RUN -v --num-callers=42 --error-exitcode=42 --track-origins=yes --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all --show-leak-kinds=all --gen-suppressions=all $SUPPRESSIONS $*
+$RUN --num-callers=42 --error-exitcode=42 --track-origins=yes --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all --show-leak-kinds=all --gen-suppressions=all $SUPPRESSIONS $*