diff options
author | Dario Lombardo <lomato@gmail.com> | 2017-01-20 23:27:17 +0100 |
---|---|---|
committer | Dario Lombardo <lomato@gmail.com> | 2017-01-23 12:27:51 +0000 |
commit | 6eca591de622092c428b27ccd248548097d73d6a (patch) | |
tree | ccef293e2a13fa8679a0ca9cfc2a40faefb94322 /tools | |
parent | 110ffacdb34e895d92764428519baf385695142f (diff) |
tools: allow multiple suppression file for valgrind.
Change-Id: I7074705230deb3d24df8f2ea694a3a485c848efd
Reviewed-on: https://code.wireshark.org/review/19711
Reviewed-by: Dario Lombardo <lomato@gmail.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/valgrind-wireshark.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind-wireshark.sh b/tools/valgrind-wireshark.sh index 88ee437a60..e143a83601 100755 --- a/tools/valgrind-wireshark.sh +++ b/tools/valgrind-wireshark.sh @@ -39,7 +39,7 @@ TOOL="memcheck" while getopts ":2a:b:C:lmnpP:rstTYwcevWdG" OPTCHAR ; do case $OPTCHAR in 2) COMMAND_ARGS="-2 $COMMAND_ARGS" ;; - a) ADDITIONAL_SUPPRESSION_FILE="--suppressions=$OPTARG" ;; + a) ADDITIONAL_SUPPRESSION_FILE="$ADDITIONAL_SUPPRESSION_FILE --suppressions=$OPTARG" ;; b) WIRESHARK_BIN_DIR=$OPTARG ;; C) COMMAND_ARGS="-C $OPTARG $COMMAND_ARGS" ;; l) LEAK_CHECK="--leak-check=full" ;; |