tools/Makefile.am: add valgrind.suppr to distrib file · 313d5b7a75 - MicroLab Git Service

Explorar el Código

tools/Makefile.am: add valgrind.suppr to distrib file

Nathalie Furmento hace 9 años

padre

ffeb89a201

commit

313d5b7a75

Se han modificado 1 ficheros con 1 adiciones y 0 borrados

Dividir vista Mostrar estadísticas de diff

						
							+ 1
							
							- 0
						
tools/Makefile.am
							 
								Ver fichero
							
				@@ -89,6 +89,7 @@ EXTRA_DIST =				\
			
				 	valgrind/openmpi.suppr		\
			
				 	valgrind/pthread.suppr		\
			
				 	valgrind/starpu.suppr		\
			
				+	valgrind/valgrind.suppr		\
			
				 	valgrind/valgrind.sh		\
			
				 	tsan/starpu.suppr		\
			
				 	lsan/libc.suppr			\