summaryrefslogtreecommitdiffstats
path: root/coverage/scripts/07-inet.sh
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/scripts/07-inet.sh
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/scripts/07-inet.sh')
0 files changed, 0 insertions, 0 deletions