소스 검색

tools/dev/valgrind: add hwloc system suppression file when available

Nathalie Furmento 8 년 전
부모
커밋
6d3efc4aeb
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      tools/dev/valgrind/valgrind.sh

+ 1 - 1
tools/dev/valgrind/valgrind.sh

@@ -29,5 +29,5 @@ then
 else
     RUN="valgrind --tool=$EXEC --error-exitcode=42"
 fi
-SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr ; do echo "--suppressions=$f" ; done)
+SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr /usr/share/hwloc/hwloc-valgrind.supp; do if test -f $f ; then echo "--suppressions=$f" ; fi ; done)
 $RUN --num-callers=42 --gen-suppressions=all $SUPPRESSIONS $*