diff options
| author |   José Bollo <jose.bollo@iot.bzh> | 2019-02-14 11:41:21 +0100 |
|---|---|---|
| committer | Jose Bollo <jose.bollo@iot.bzh> | 2019-03-27 10:48:40 +0100 |
| commit | 6b702024c9e6d06c74fccc20122f24a72560d54b (patch) | |
| tree | 6552dfc93aea02399f973a94869e295476cbf425 /coverage/scripts/07-inet.sh | |
| parent | 51b8ff088991a18d744b6b86430afc8d83c4fcd8 (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