aboutsummaryrefslogtreecommitdiffstats
path: root/coverage/.gitignore
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2019-02-14 11:41:21 +0100
committerJose Bollo <jose.bollo@iot.bzh>2019-03-27 10:48:40 +0100
commit6b702024c9e6d06c74fccc20122f24a72560d54b (patch)
tree6552dfc93aea02399f973a94869e295476cbf425 /coverage/.gitignore
parent51b8ff088991a18d744b6b86430afc8d83c4fcd8 (diff)
coverage: Allow removal of valgrind
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 <jose.bollo@iot.bzh>
Diffstat (limited to 'coverage/.gitignore')
-rw-r--r--coverage/.gitignore2
1 files changed, 2 insertions, 0 deletions
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