From 6b702024c9e6d06c74fccc20122f24a72560d54b Mon Sep 17 00:00:00 2001 From: José Bollo Date: Thu, 14 Feb 2019 11:41:21 +0100 Subject: coverage: Allow removal of valgrind MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit It can be usefull for debugging with gdb to avoid the use of valgrind in the test. This can be done by setting the environment NOVALGRIND to any not empty value. Also add more temporary files to ignore. Change-Id: I853eb566607aa7ec87c356ee3acd9b1fa658b659 Signed-off-by: José Bollo --- coverage/.gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to 'coverage/.gitignore') diff --git a/coverage/.gitignore b/coverage/.gitignore index 531f1a98..a5854309 100644 --- a/coverage/.gitignore +++ b/coverage/.gitignore @@ -12,3 +12,5 @@ bin/*.o bin/*.so bin/*.gcda bin/*.gcno +bin/*.c.gcov +*.info -- cgit 1.2.3-korg