From 9e5bd0be6b4daaf4593959c6c1a3708cfc1d0969 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 1 Jul 2024 14:26:05 +0200 Subject: pkg/mgrconfig: allow to disable remote coverage and coverage edges --- executor/executor.cc | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) (limited to 'executor') diff --git a/executor/executor.cc b/executor/executor.cc index fb5d242de..862b0776e 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -990,13 +990,15 @@ void execute_one() #endif write_extra_output(); - // Check for new extra coverage in small intervals to avoid situation - // that we were killed on timeout before we write any. - // Check for extra coverage is very cheap, effectively a memory load. - const uint64 kSleepMs = 100; - for (uint64 i = 0; i < prog_extra_cover_timeout / kSleepMs; i++) { - sleep_ms(kSleepMs); - write_extra_output(); + if (flag_extra_coverage) { + // Check for new extra coverage in small intervals to avoid situation + // that we were killed on timeout before we write any. + // Check for extra coverage is very cheap, effectively a memory load. + const uint64 kSleepMs = 100; + for (uint64 i = 0; i < prog_extra_cover_timeout / kSleepMs; i++) { + sleep_ms(kSleepMs); + write_extra_output(); + } } } -- cgit mrf-deployment