tools/valgrind/valgrind.sh: add script file to launch valgrind with all available suppression files · 86184c7e23 - MicroLab Git Service

tools/valgrind/valgrind.sh: add script file to launch valgrind with all available suppression files

Nathalie Furmento 9 years ago

parent

6524eb6210

commit

86184c7e23

1 changed files with 4 additions and 0 deletions

Split View Show Diff Stats

						
							+ 4
							
							- 0
						
tools/valgrind/valgrind.sh
							 
								View File
							
				@@ -0,0 +1,4 @@
			
				+#!/bin/bash
			
				+
			
				+SUPPRESSIONS=$(for f in $(dirname $0)/*.suppr ; do echo "--suppressions=$f" ; done)
			
				+valgrind $SUPPRESSIONS --leak-check=full --show-leak-kinds=all $*